１＋１＝２である事を証明してみろ！

1=0.9999999999999999999999999999・・・
http://cheese.2ch.net/test/read.cgi/math/1004837995/308-312


308 名前：１３２人目の素数さん 投稿日：2002/03/14(木) 20:30
ここの住民に聞きたいんだけど、

１＋１＝２

の証明出来る？もちろん完全なね。


309 名前：１３２人目の素数さん 投稿日：2002/03/14(木) 21:11
(1) Q5
　　　Q |- ∀x∀y[x+S(y) = S(x+y)]
(2) 1, UI
　　　Q |- S(0)+S(0) = S(S(0)+0)
(3) Q4
　　　Q |- ∀x[x+0 = x]
(4) 3, UI
　　　Q |- S(0)+0 = S(0)
(5) =fn.
　　　Q |- ∀x∀y[x = y → S(x) = S(y)]
(6) 5, UI
　　　Q |- S(0)+0 = S(0) → S(S(0)+0) = S(S(0))
(7) 4, 6, MP
　　　Q |- S(S(0)+0) = S(S(0))
(8) 2, 7, ∧I
　　　Q |- S(0)+S(0) = S(S(0)+0) ∧ S(S(0)+0) = S(S(0))
(9) =trans.
　　　Q |- ∀x∀y∀z[x = y ∧ y = z → x = z]
(10) 9, UI
　　　Q |- S(0)+S(0) = S(S(0)+0) ∧ S(S(0)+0) = S(S(0)) → S(0)+S(0) = S(S(0))
(11) 8, 10, MP
　　　Q |- S(0)+S(0) = S(S(0))


310 名前：１３２人目の素数さん 投稿日：2002/03/14(木) 22:11
>>309は推論に飛躍がなくていいね。


311 名前：１３２人目の素数さん 投稿日：2002/03/16(土) 07:13
Qとか　そのたもろもろの記号の説明がないから
証明にならないな


312 名前：１３２人目の素数さん 投稿日：2002/03/16(土) 09:15
完全な証明求む、とは書いてあったが
低脳にも読める証明求む、とは書いてなかったのだった

1=0.9999999999999999999999999999・・・
http://cheese.2ch.net/test/read.cgi/math/1004837995/313-316


313 名前：１３２人目の素数さん 投稿日：2002/03/16(土) 11:26
S(0)+S(0)=S(S(0))

が　1+1=2と同じであることを証明してくれよ


314 名前：１３２人目の素数さん 投稿日：2002/03/16(土) 11:30
1+0=1 の証明もおしえてほしいな　(藁藁)


315 名前：１３２人目の素数さん 投稿日：2002/03/16(土) 11:35
「ペアノの公理」で検索せい


316 名前：自治厨ですが(･∀･)ﾅﾆｶ？ 投稿日：2002/03/16(土) 11:41
>>313
1をS(0)、2をS(S(0))と表記してるから。

つぅかいい加減スレ違いの話題止めろ。
http://cheese.2ch.net/test/read.cgi/math/1004597379/
1+1=2関係の話題はここでしてくれ。