>>580

それはそのとおり。
区体論自体は、改良すれば、集合論 BGE と同値になる。
僕自身は、集合論を他の方法で形式化できるということがわかって、
楽しませてもらった。

ただ、肝心の作者が、面白いアイディアを持っているのに、
それを生かす技術を持っていない。
だから、彼が考えたままの区体論は、２個以上の対象の存在も
証明できないし、いまだに、彼自身の区体論のページでは、
新しい公理も追加されておらず、なんら生産的な結果も
生み出してはいない。もう少しまじめに取り組めばいいのにね。