What’s missing here os the definition that we’re working in base 10. While it won’t be a proof, Fibbonaci has his nice little Liber Abbaci where he explains arabic numerals. A system of axioms for base 10, a definition of addition and your succession function would suffice. Probably what the originals were going for, but I can’t imagine how that would take 86 pages. Reading it’s been on my todo list, but I doubt I’ll manage 86 pages of modern math designed to be harder to read than egyptian hieroglyphs.
What’s missing here os the definition that we’re working in base 10. While it won’t be a proof, Fibbonaci has his nice little Liber Abbaci where he explains arabic numerals. A system of axioms for base 10, a definition of addition and your succession function would suffice. Probably what the originals were going for, but I can’t imagine how that would take 86 pages. Reading it’s been on my todo list, but I doubt I’ll manage 86 pages of modern math designed to be harder to read than egyptian hieroglyphs.