Comment on I just cited myself.
Sop@lemmy.blahaj.zone 4 months agoThat’s not an axiom or definition, it’s a consequence of the axioms that define arithmetic and can therefore be proven.
Comment on I just cited myself.
Sop@lemmy.blahaj.zone 4 months agoThat’s not an axiom or definition, it’s a consequence of the axioms that define arithmetic and can therefore be proven.
JohnDClay@sh.itjust.works 4 months ago
There are versions of math where that isn’t true, with infinitesimals that are not equal to zero. So I think it is an axium rather than a provable conclusion.
JackRiddle@sh.itjust.works 4 months ago
Those versions have different axioms from which different things can be proven, but we don’t define 9.9 repeating as 1
Feathercrown@lemmy.world 4 months ago
That’s not what “axiom” means