主题：说一说公理体系 -- 天空不空
共:💬8 🌺39
自然数是被帕累托公理体系定义出来的，后来冯诺依曼又定义了一次
作者 对本帖的 补充(1)
- 相关回复 上下关系8
🙂说一说公理体系 13 天空不空 字2293 2020-07-11 05:22:57
🙂讨论问题 1 东方的木头 字371 2020-08-19 11:04:08
🙂定义是先于公理的存在 21 陈王奋起 字1472 2020-07-11 12:59:15
🙂自然数是被帕累托公理体系定义出来的
🙂记错了，是皮亚诺，不是帕累托 1 鱼儿泉 字0 2020-08-20 06:17:25
🙂哪怕几何原本是后人托古的产物 3 天空不空 字78 2020-07-11 19:26:57
🙂del 天空不空 字3 2020-07-11 19:16:55
🙂有一部分公理本身是模型定义 三力思 字84 2020-07-11 09:00:34