ZFC公理系
以下の
公理
で構成された数学的体系の一つ
外延性公理
対の公理
和集合の公理
無限公理
冪集合公理
置換公理
当初は
分出公理
が採用されていたが、後に不十分だとわかったため
置換公理
に置き換えられた
正則性公理
選択公理
空集合の公理は置換公理から導出でき
るため、ZFCに入れなくてもいい
集合の存在公理
ZFC公理系
から
選択公理
を除いた体系を
ZF公理系
と呼ぶ
Zermelo-Fraenkel set-theory with the axiom of Choice
#2021-10-14
11:04:03