番外篇：1+1=2是公理还是定义？
1+1=2是公理还是定义？这是个问题。
喜马拉雅：https://www.ximalaya.com/keji/6310606/
微信关注：dalaoli_shuxue
B站: https://space.bilibili.com/423722633
知乎：https://zhuanlan.zhihu.com/dalaoli-shuxue/
电邮：dalaoliliaoshuxue@gmail.com
以上内容来自专辑
用户评论
- 老白的微博9
peano自然数公理，和公理化的群环域，哪一个在时间上在前面？哪一个明文明确地承继了另一个？
大老李聊数学 回复 @老白的微博9: 看了下皮亚诺算术公理应该在群环域这些概念之后出现。但是与公理化后的群概念，谁先谁后我没找到。
- 仁贤致竹
逆命题成立没
仁贤致竹 回复 @仁贤致竹: 你命题成立吗？
- 豆角vip
感谢主播又填了一个坑，
原来公理从0开始的 - Chenny_ik
请问能否讲一期关于数列求和的番外？
Hichunxi 回复 @Chenny_ik: 握手握手！我来找数学就是来找这个的哈哈！
- 开拓者183
好深啊，
- ETST
公理具有前提 定义具有假设
- Erwin_Schrodinger
zfc就完事
- 老白的微博9
（5）第"(2)"写得尤其繁琐，其实是因为我不知道包含尺规作图严格公理的这个公理化几何体系，到底存在不存在？以及它是怎么样的？结合后面3条，现在的问题是：a)构造公理化实数系，所参考的几何考量到底是什么？b)这个几何考量，在公理化实数体系构造出来之前，它是如何以严格方式，反映在包含尺规作图严格定义的几何体系里的？
- 老白的微博9
（4）但是，实数中的无理数中的代数数长度的线段可以由尺规作图程序作出来，无理数中的超越数长度的线段却不能由尺规作图程序作出来，这是什么道理？
© 2014-2024 喜马拉雅 版权所有
皮亚诺公理系统：①提出自然数0；②确定的自然数有唯一并确定的后继，也是自然数；③判断相等的依据，即后继相等；④0没有后继，即0是最初的、起始的自然数；⑤归纳法正确性
，默认1是0的后继，2是1的后继，如果1+1=2，就是默认自然数是线性的，均匀的，公理里面没有提到啊
大老李聊数学 回复 @爱学习的渣渣: ＋就是后继，加一就是一次后继