Elektrine lite

← Feed

@SmartmanApps@dotnet.social

Post #4355846

2026-08-03 11:51 UTC

@bemmesr@mathstodon.xyz "If so, could you provide an example of such a proof?" - yep, just grab some Cuisenaire Rods and prove it the same way it's proven to young kids

Replies (1)

  • @bemmesr@mathstodon.xyz 2026-08-03 11:54

    @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?

    Open ##4355843