Comment Re:actually (Score 1) 1090
To make this a bit more rigorous:
\infty = 0^{-1} [A20]
0^{-1] = 1*(0^{-1}) [A14]
1*(0^{-1}) = 1/0 [A17]
1/0 = 1/(-1*0) [T77]
From this point, you cannot apply commutativity of multiplication, of all things, to jump to your next step. You'll have to find some other way to break the axioms.
-fs
\infty = 0^{-1} [A20]
0^{-1] = 1*(0^{-1}) [A14]
1*(0^{-1}) = 1/0 [A17]
1/0 = 1/(-1*0) [T77]
From this point, you cannot apply commutativity of multiplication, of all things, to jump to your next step. You'll have to find some other way to break the axioms.
-fs