(set theory) One of the axioms in axiomatic set theory, equivalent to the statement that every non-empty set contains a member that is disjoint from that set.
axiom of regularity
集合論を学んでいると、正則性公理が無限に降下する包含の連鎖を排除することが分かった。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
