4.2 − 1 = 3.2. Simples.
This was my first reaction. But one way of showing that arithmetic is inconsistent would be to show that under it’s axioms some very very large number (edit: I mean integer, thanks Stuart) was equal to 3.2.
Some very large integer.
Huh, integer. I don’t know how that got past me when I wrote that.
And redefine 3.2 to be an integer. Even more simples!
4.2 − 1 = 3.2. Simples.
This was my first reaction. But one way of showing that arithmetic is inconsistent would be to show that under it’s axioms some very very large number (edit: I mean integer, thanks Stuart) was equal to 3.2.
Some very large integer.
Huh, integer. I don’t know how that got past me when I wrote that.
And redefine 3.2 to be an integer. Even more simples!