やはり、《不完全性定理の別証明》らしい！（追認します・・）

ふ～ん、へえ～！（アッと驚く為五郎・・） . . . 本文を読む

これでは《不完全性定理の別証明》だが、はてさて、どうなりますことやら？

だけど、定義はこちらの方が健全というか、ゲーデルは間違いだと言いたいというか・・・。 . . . 本文を読む