Current Total Ideas:
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]
By diagonalization we can define a real number that isn't in the definable set of reals