structure for 'Theory of Logic'    |     alphabetical list of themes    |     expand these ideas

5. Theory of Logic / L. Paradox / 4. Paradoxes in Logic / d. Richard's paradox

[problem with defining a closed set of real numbers]

1 idea
By diagonalization we can define a real number that isn't in the definable set of reals [Priest,G]