>>前スレ995

＞>994
＞まあそうですね
＞実際に何らかの方法で真偽が確定するわけじゃありません
＞僕も最初に勉強したときには結構違和感持ちました
結構分かって来ました。レスどうも。

>>前スレ997
＞チャーチとかは自然数論に持ち込まずに不完全性を証明してる罠
出来れば教えて下さい