All Questions
2
questions
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 ...
1
vote
3
answers
210
views
Do we draw a distinction between a number as an element of the reals, and an element of the naturals?
I see in some explanations of attempts to formalize numbers such as Von Neumann's ordinals like in this rather philosophical question that we can draw a distinction between a real number '1' and a ...