Cheers Growse/Alpha, at least I know that i've got a very basic idea of this incompletness stuff
To sum up, the axioms are accepted to be true, but might lead to inconsistancy somewhere down the line. However, in the simple proof
x = 0.9r
10*x=9.9r
10*x - x=9.9r - 0.9r
9x = 9
x=1
Its either impossible for these contradictions to pop up, or very very unlikely.
Is that about the size of it?
Got a book on order on the subject actually, allegedly it explains it well in laymans terms, will be very interested to see what it says. As with most things that I pick up in passing, generally when I read a proper book dedicated to the subject, I end up realising that I've been talking rubbish!
Anyway, another question :
Given that 0.9r=1 ( which I believe it does ), and 1=1, and also that 1.0r=1, how many ways are there ( in a strictly mathematical sense ) of defining unity, or any given number?