Soleron on 30 April 2013
MDMAlliance said:
When I say "theories," I was referring to the Axiom of Choice theorem. |
When one says anything in maths is "true", you're implicitly saying, "given this standard set of axioms", one of which is probably the axiom of choice. Even just saying 1+1=2 implies a bunch of axioms.
Of course you can construct a logical system in which 0.999... doesn't equal 1. It's just not meaningful because no one else uses it. In the one we use, it's the same thing. In the one we use, we assume the axiom of choice.
