Recall another question, posted in RG, entitled "is there a finite definition for every real number?"

If Cantor theorem is assumed, the answer is not. Now, the question is more ambitious. Perhaps there is no possibility of proving the existence of undefinable concepts.

More Juan-Esteban Palomar Tarancon's questions See All
Similar questions and discussions