Z公理系
Z公理系(ぜっとこうりけい、Zermelo axioms)
外延性の公理
内包性の公理、分出の公理
和集合の公理
対の公理
無限の公理
冪集合の公理
基礎の公理、正則性の公理
Z公理系は以下の公理が含まれていない
置換の公理
選択公理
確認用
Q. Z公理系
参考
『形式手法教科書』
関連
調査用
/pogi-log/Google.icon
Z公理系
/pogi-log/Google.icon
Z公理系
/pogi-log/Wikipedia.icon
Z公理系 - Wikipedia(日)
Z公理系(検索) - Wikipedia(日)
/pogi-log/Wikipedia.icon
Z公理系 - Wikipedia(英)
Z公理系(検索) - Wikipedia(英)