- 492 名前：ご冗談でしょう？名無しさん [2013/02/16(土) 23:04:50.15 ID:0POY0jVF]
- 俺、数学専門だけど、区体論は無矛盾だと確認しているよ。
例えば、南堂の言うところの「仮表示系の区体論」からは、
論理式
∃x∃y(x≠y)・・・・（１）
は証明できない。
証明できない論理式がある以上、無矛盾。
但し、論理式（１）すら証明できない理論に
何の価値があるのかということが問題。
ちなみに、「多くの専門家から区体論の無矛盾性のお墨付きを得た」
と言う趣旨の主張のは嘘だろう。区体論自体の数学の専門家など、
日本には一人もいないし、査読付きジャーナルなどの
数学の専門分野の分類としては、区体論は認知されていない。
