- #1
Adam Mclean
- 23
- 0
I am aware of Godel's proof of the incompleteness of formal systems that allow for defining the natural numbers.
I noted recently in the Wikipedia entry for Godel's Incompleteness Theorem
"that both the real numbers and complex numbers have complete axiomizations".
Is this true?
Can anyone point me to any papers which provide a proof for this ?
Thanks,
Adam McLean
I noted recently in the Wikipedia entry for Godel's Incompleteness Theorem
"that both the real numbers and complex numbers have complete axiomizations".
Is this true?
Can anyone point me to any papers which provide a proof for this ?
Thanks,
Adam McLean