"If there really are an infinite number of natural numbers then some of them must be of a transfinite number of digits or else you would be including numbers in the list more than once." Theorem: There are no infinite…
I don´t think this is an alien that applied downwards Löwenheim-Skolem to the reals. Rather I think this is an alien which applied upwards Löwenheim-Skolem to peano arithmetic. I think this because the alien talks about…
"If there really are an infinite number of natural numbers then some of them must be of a transfinite number of digits or else you would be including numbers in the list more than once." Theorem: There are no infinite…
I don´t think this is an alien that applied downwards Löwenheim-Skolem to the reals. Rather I think this is an alien which applied upwards Löwenheim-Skolem to peano arithmetic. I think this because the alien talks about…