15/10/06 00:06:24.27 CrqxXldS.net
自然数抜きで論理学やっている分には矛盾は内包されないけど、自然数入れた瞬間に
ゲーデルが発動するんだろ？
15/10/06 00:06:24.27 CrqxXldS.net
自然数抜きで論理学やっている分には矛盾は内包されないけど、自然数入れた瞬間に
ゲーデルが発動するんだろ？
15/10/06 00:06:24.27 CrqxXldS.net
自然数抜きで論理学やっている分には矛盾は内包されないけど、自然数入れた瞬間に
ゲーデルが発動するんだろ？