ZF公理系
「ZF」の由来
Ernst Zermelo
と
Adolf Fraenkel
の名前より
以下の公理からなる
外延性の公理
空集合の公理
無限公理
対の公理
和集合の公理
冪集合公理
正則性公理
置換公理
これを
Adolf Fraenkel
が追加した
一つ一つは単純で難しくない
mrsekut.icon
https://ja.wikipedia.org/wiki/公理的集合論#ZF_公理系
https://math-fun.net/20200113/4906/
https://en.wikipedia.org/wiki/Zermelo–Fraenkel_set_theory