S

Japanese Meaning

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

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

Sense（1）

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