>>350
数学を展開できるような公理系には、その公理系が矛盾だとすれば、
証明も反証も出来ないような命題が必ず存在する。

という存在定理です。この定理と「理性の限界」を結び付けたがる心理は面白いですよ。
何か深遠なことを述べた定理であるかのように錯覚したいのでしょう。