4 ms·
You can only have countable number of first or second order logic statements each defining a specific real number.
by leni536 9y ago
You can only have countable number of first or second order logic statements each defining a specific real number.