匿名ゆき 2015-05-17 09:59:59 |
|
通報 |
すばらしき論理の世界
PA1 1∈N
PA2 ∀n∈N[n'∈N]
PA3 ∀n∈N[n'≠1]
PA4 ∀m∈N ∀n∈N[m'=n'⇒m=n]
PA5 P(1)∧∀k∈N[P(k)⇒P(k')]⇒
∀n∈N[P(n)]
これ、なーんだ。
身近にいるおっとりした女の子が
態度をかえて理知的な一面を見せて…
だから僕はももの事が…
ふふ…♪
自然数はあなたにとって身近な存在ですか?
| トピック検索 |