ZF公理系
ZF公理系(Zermelo-Fraenkel axioms)
公理的集合論
のひとつ
選択公理
を含めないやつ
選択公理を含めたものは
ZFC公理系
1922年にフレンケルが
Z公理系
を改良したもの
ref:
『形式手法教科書』
P47
集合の存在公理
外延性の公理
内包性の公理、分出の公理
和集合の公理
対の公理
置換の公理
無限の公理
冪集合の公理
基礎の公理、正則性の公理
確認用
Q. ZF公理系
参考
『形式手法教科書』
関連
調査用
/pogi-log/Google.icon
ZF公理系
/pogi-log/Wikipedia.icon
ZF公理系 - Wikipedia(日)
ZF公理系(検索) - Wikipedia(日)
/pogi-log/Wikipedia.icon
ZF公理系 - Wikipedia(英)
ZF公理系(検索) - Wikipedia(英)
#Fleeting_Notes