All Questions
1
question
4
votes
1
answer
2k
views
Definable real numbers
Reading this Wikipedia page I found this definition:
A real number $a$ is first-order definable in the language of set
theory, without parameters, if there is a formula $\phi$ in the
language ...