The diagonalization of Cantor leads to the way out:
Of course the proof is correct, but it uses the classical logic. — Trestone
Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.