1+1=2を厳密に証明しようとした人がいるらしい

1 ：以下、＼(^o^)／でVIPがお送りします：2014/05/14(水) 15:52:10.97 ID:B+5WwN8R0.net

バートランド・ラッセル卿はそのために700ページぐらい費やしたらしい
当然一直線にじゃなくて証明するための道具を用意したり脇道にそれたりはしてるけど

2 ：以下、＼(^o^)／でVIPがお送りします：2014/05/14(水) 16:16:44.90 ID:Au/10/4c0.net

どういうこっちゃ

3 ：以下、＼(^o^)／でVIPがお送りします：2014/05/14(水) 16:20:23.75 ID:INMP9vdq0.net

ペアノは？

4 ：以下、＼(^o^)／でVIPがお送りします：2014/05/14(水) 16:49:01.17 ID:6fagFuQO0.net

気になるんだが

5 ：以下、＼(^o^)／でVIPがお送りします：2014/05/14(水) 16:49:39.79 ID:PrqT5cK60.net

幸福論の人だよね？

6 ：以下、＼(^o^)／でVIPがお送りします：2014/05/14(水) 16:51:22.98 ID:+uZLZL2C0.net

2の定義ってなんなん？
2=1+1
でいいんじゃないの？

7 ：以下、＼(^o^)／でVIPがお送りします：2014/05/14(水) 16:59:32.30 ID:j0qIAliTi.net

数そのものに定義なんてあるの？
でもπとかeにはあるのか