俺、数学専門だけど、区体論は無矛盾だと確認しているよ。
例えば、南堂の言うところの「仮表示系の区体論」からは、
論理式

∃x∃y(x≠y)・・・・（１）

は証明できない。

証明できない論理式がある以上、無矛盾。
但し、論理式（１）すら証明できない理論に
何の価値があるのかということが問題。

ちなみに、「多くの専門家から区体論の無矛盾性のお墨付きを得た」
と言う趣旨の主張のは嘘だろう。区体論自体の数学の専門家など、
日本には一人もいないし、査読付きジャーナルなどの
数学の専門分野の分類としては、区体論は認知されていない。