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

即未用户9223 更新于2026-8-19 04:23:16

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

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

别急，等我发挥😋

（先挖个坑）

收起

6

1

共1条回复

致百年前的你

14小时前

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

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

1条评论

即未用户9223

14小时前

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

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

1