Last Updated：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.

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

See correct answer

Source Word

S

Japanese Meaning

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

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

Sense（1）

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