『1+1＝2』が少しずつ複雑になっていくスレ

1 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:41:13.550 ID:3oPlEo7c01212.net

1+1＝2

2 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:41:32.969 ID:OaI8ZLRl01212.net

1+1＝日

3 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:41:35.231 ID:Dlr9MEssp1212.net

53+62

4 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:41:49.002 ID:LXR3EBxW01212.net

2=1+1

5 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:41:57.063 ID:OxCD5CZwa1212.net

いちだすいちだすタンザニア(　>д<)､;'.･

6 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:42:15.691 ID:vreSlI9J01212.net

one + one = two

7 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:42:33.550 ID:1rRDlRpi01212.net

壱＋壱＝弐

8 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:42:37.701 ID:yuAeV3XJ01212.net

1＋1＝田

9 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:42:49.409 ID:/VDLjkES01212.net

(1+1)=2

10 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:42:50.995 ID:bl3wr7sG01212.net

>>2
田だろ

11 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:42:51.588 ID:dSbgMji4d1212.net

3÷1 はチャーリーブラウン

12 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:43:22.937 ID:yEzfJemf01212.net

1+1が2にも3にもなる

13 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:43:44.056 ID:/YyhLioPd1212.net

1*1+1*1=2

14 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:43:52.738 ID:k3+aJDnTd1212.net

1+1+18÷10=2

15 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:44:01.560 ID:R4BrystR01212.net

1=2

16 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:44:02.714 ID:dGv1UBf701212.net

このままじゃ次に進まないだろ！
俺が答えるよ
ZF公理系、ペアノの公理と共通部分、写像の定義かつ以下の定義を全て認めるものとする
まずペアノの公理を定める(存在性は一旦置いておく)
すなわち、ある関数をsuc、ある集合をNとして
1. 0∈Nが存在する
2. ∀a∈N ,∃suc(a)
3. suc(a)= 0なるaは存在しない
4. a≠bならばsuc(a)≠suc(b)(sucは単射)
5. Nでは数学的帰納法原理が成立する
次に後継関数suc(a)≡a∪｛a｝を定義する(和集合の存在はZF公理系の和集合の公理より認められる)
そして空集合φを用いて0≡φという風に定める(ZF公理系の空集合の公理より空集合φは認められる)
また、補足的ではあるがNを「a∈A⇒suc(a)∈A」を満たす集合の共通部分と定める(ZF公理系の無限公理よりこのような集合Nは存在する)
以上より以下を定義できる
1≡｛φ｝＝suc(0)
2≡｛｛φ｝,φ｝＝suc(1)
3≡｛｛｛φ｝,φ｝,｛φ｝,φ｝＝suc(2)
……
更に足し算をm+0=m ー(1)
m+suc(n)=suc(m+n) ー(2)で定める
これより
1+1
=suc(0)+suc(0)(∵1の定義)
=suc(suc(0)+0)(∵足し算の定義(2))
=suc(suc(0))(∵足し算の定義(1))
=suc(1)(∵後継関数の定義)
=2

17 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:44:19.609 ID:TcbnBLhe01212.net

>>14

18 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:44:23.055 ID:5VZRz5q801212.net

3678^0+789532^0=2

19 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:45:00.339 ID:ZQ7xmSZ+a1212.net

>>16
(ФДФ)

20 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:45:02.335 ID:vc3LLE1601212.net

1^1+92567-92566=2

21 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:45:22.641 ID:k3+aJDnTd1212.net

>>17
あれ？間違ってた？

22 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:46:01.087 ID:X/IKErUga1212.net

>>14
小学生からやり直せ

23 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:46:06.302 ID:lJogyJYX01212.net

ツリー

24 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:46:21.026 ID:l1e1jmTca1212.net

>>21
合ってるんじゃね？(文系

25 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:46:53.961 ID:HC5m1RPed1212.net

>>21
3.8だろ

26 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:46:58.662 ID:k3+aJDnTd1212.net

>>22
ごめん。さっき起きたから間違いが分からなかった
（）つけなきゃいけなかったんだなｗ

27 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:47:40.718 ID:lJogyJYX01212.net

ガチの奴かよ...病人はVIPから出て毛

28 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:47:43.880 ID:l1e1jmTca1212.net

>>25
あーそうか

29 ： ◆sexxxxxx.I1x ：2015/12/12(土) 16:47:54.595 ID:cOHzdNC401212.net

1+1+18÷10=2

どこにかっこを付ければ成り立つのか
これは難問だわ

30 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:48:05.423 ID:dSbgMji4d1212.net

{[(31+24×5÷3)+(245×5-1957÷5)}×3×+2]×0+1×1+1=2

31 ： ◆sexxxxxx.I1x ：2015/12/12(土) 16:49:07.512 ID:cOHzdNC401212.net

(1+1+18)÷10=2

ってこういうことか
何にせよ主旨からはちがくね

32 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:50:41.652 ID:k3+aJDnTd1212.net

>>31
あれ、主旨違ったか…すまん

33 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:51:22.152 ID:dSbgMji4d1212.net

>>31
これだと1になるよ

34 ： ◆QRlkYwRrlA ：2015/12/12(土) 16:52:20.033 ID:/VDLjkES01212.net

>>33

35 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:53:29.683 ID:DtvLKhFq01212.net

45^0+√8/2√2=2

36 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:58:31.209 ID:4Y5TfW1h01212.net

2×(e^πi)^2=2

37 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 16:59:31.493 ID:hFco9Mki01212.net

18782+18782=

38 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 17:00:22.648 ID:gdI7GFpE01212.net

A, B->Boolean
int(A+(A+B)+(A*B)+B) = 2

39 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 17:16:38.477 ID:gW2Rz0LZd1212.net

>>32
死ねよ

40 ：以下、＼(^o^)／でVIPがお送りします：2015/12/12(土) 17:19:16.637 ID:k3+aJDnTd1212.net

>>39
死ね