物理
从Peano公理到( )？（导引帖）

即未用户9223 更新于2026-8-29 14:33:27

这几天作者$\sout{发癫了}$闲的没事干了🤓，于是我突发奇想

既然所有自然数，整数，有理数，实数等等理论都建立在Peano公理之上，那么如何从Peano公理出发推导出所有性质呢🤔

别急，等我发挥😋

已有的：

收起

11

6

共2条回复

致百年前的你

1月前

皮亚诺公理不是只做了自然数系统的公理化吗…?

从零重建数系难道不是应该用ZFC

1条评论

即未用户9223

1月前

那个感觉太抽象了，让我来我肯定会绕进去的😥

而且我记得智英佬之前有一个和我这个一样的帖子，那里面也没有提到ZFC😶

1

1月前

这个想法很有意思

有个叫Hqad的作者创作了一个游戏Deductrium

初衷跟你这个差不多

但是他用计算机语言从几个基础公理可以推出Peano，ZFC等很多公理

你可以借鉴一下思路

附上网址:wxyhly.github.io

1条评论

Mr.James

1月前

@即未用户9223

1