1=0.9999999999999999999999999999・・・

ここの住民に聞いたいんだけど、

１＋１＝２

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

(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))

>>309は推論に飛躍がなくていいね。

Qとか　そのたもろもろの記号の説明がないから
証明にならないな

完全な証明求む、とは書いてあったが
低脳にも読める証明求む、とは書いてなかったのだった