> お前らちょっと哲学っぽいこと言ってみろよ

数論の無矛盾な公理系は必ず決定不能な命題を含む

参考：2005/12/27(火)15時43分51秒