※ 引述《ERT312 (312)》之铭言：
: 自然数有三种不同的欣赏方式
: 1.凭借直觉、直观的方式
: 2.Peano公理化的方式
: 3.借由集合论建构的方式
还有第四种喔
并不需要Peano公理 或是ZFC集合论的公理
可以参考Russell和他老师编的Principia Mathematica
定义了 1,2, +, = (传说这些定义花了300页)
然后证明1+1=2
https://goo.gl/myoF6d
这边有整本书的电子档
http://i.imgur.com/xuBa5KQ.png
最后根据上图 可以得证1+1 =2
上面的内容不是唬烂的 在书本的第406页
https://goo.gl/et33rZ

你数学系？如果考试出这个证明题 我绝对画两个苹果 数给他看

考完你就要去退选了吧.....

直接K他两个拳头 再问他 我打你几拳?? 这样比较快

1+1=2是定义 无法证明

老师：三拳,换我证明给你看(朝我脸挥拳

谢谢 看完也想睡了

定义 呵呵

罗素写的那个就是 type theory，他把每个东西都分阶级老实说，我没看过，☜☟☎✉✂☠☁✈♡☂

我跟你讲 1+1也就只需要两只蝌蚪 你写那么多业的蝌蚪文...

1+1不是等于3吗?

会去相信那证明的也真不简单

数学版有1+1=2的证明文，小鲁每年都要去朝圣一下

简单的事复杂化