Post #4355843
2026-08-03 11:54 UTC
@SmartmanApps@dotnet.social I'm afraid you'll have to educate me here, I'm not familiar with the technique. Perhaps there is a resource you can point to which contains a definitive series of proofs for the fundamental laws of arithmetic, which do not rely on any axioms? Or, if not, perhaps you could offer guidance on how I might construct such a proof system?
Replies (1)
-
@FishFace@ioc.exchange 2026-08-03 13:46
@bemmesr@mathstodon.xyz It's easy if you don't know what a proof is ;) The real crime though will be the unproved assertion that the scenario he exemplifies with the teaching aids is written in the way he says...