@[email protected]M to Science [email protected]English • 8 months agoI just cited myself.mander.xyzimagemessage-square225fedilinkarrow-up1826arrow-down142cross-posted to: chonglangtv
arrow-up1784arrow-down1imageI just cited myself.mander.xyz@[email protected]M to Science [email protected]English • 8 months agomessage-square225fedilinkcross-posted to: chonglangtv
minus-square@[email protected]linkfedilinkEnglish21•8 months agoThat’s not an axiom or definition, it’s a consequence of the axioms that define arithmetic and can therefore be proven.
minus-square@[email protected]linkfedilinkEnglish-4•8 months agoThere 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.
minus-squareJack RiddlelinkfedilinkEnglish7•8 months agoThose versions have different axioms from which different things can be proven, but we don’t define 9.9 repeating as 1
That’s not an axiom or definition, it’s a consequence of the axioms that define arithmetic and can therefore be proven.
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.
Those versions have different axioms from which different things can be proven, but we don’t define 9.9 repeating as 1
That’s not what “axiom” means