[sleepdev]

Tangentially related question: how are real numbers formally defined?

I remember that integers are usually defined in terms of successors: Succ 1 = 2. But this doesn't help for real numbers because they can't really be enumerated?

[pencil]

well..this gives the definition of real numbers http://en.wikipedia.org/wiki/Real_numbers..but doesn't mention even a single bit about the truthfullness of the properties of realnumbers.(to be honest i'am not in a position to come out with a rational explanation!!!!!)