ゲーデル命題は命題集合ではないのか

すなわち決定不能命題の集合ではないだろーか？

　こうは言えるわけですのや、すなわち「数学が無矛盾であれば解決不能問題は決定不能」ソ～でっシャロ、そうやないか、そう。さらに、もちろん「数学が矛盾しておれば解決不能問題は両方に証明される」というコトではないのか、そうですわな。

さらにゲーデル命題は数学の無矛盾性と同値だからねｗ

　逆も言えるワケだねー、ゲーデルさんのおかげでねー、そしたらなんと。「解決不能問題が決定不能であれば数学は無矛盾」てなコトまで言えるワケなんですよねー、こいつはビックリした。数学体系の内側で証明されなくたって数学は無矛盾ではないか、そう。

意味論の威力ってこう有るンだよなア～！