S offers a fascinating perspective on set theory because several axioms of ZF can be derived as theorems within it.
ジョージ・ブールズによって考案された公理的集合論は、ZF（ツェルメロ＝フレンケル集合論）のいくつかの公理が定理として導出されることから、集合論に関して興味深い視点を提供する。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
