最終更新日：2025/11/20

(set theory) An axiomatic set theory, developed by logician George Boolos, in which several of the axioms of ZF are derivable as theorems.

音声機能が動作しない場合はこちらをご確認ください

正解を見る

元となった辞書の項目

S

固有名詞

日本語の意味

（集合論）ジョージ・ブールスによって開発された公理的集合論。ZF集合論のいくつかの公理が定理として導出される特徴を持つ。

ジョージ・ブールズによって考案された公理的集合論は、ZF（ツェルメロ＝フレンケル集合論）のいくつかの公理が定理として導出されることから、集合論に関して興味深い視点を提供する。

意味（1）

S has no axiom of extensionality and identity is absent from the other S axioms.