generated at
ZF公理系
「ZF」の由来
Ernst ZermeloとAdolf Fraenkelの名前より


以下の公理からなる
外延性の公理
空集合の公理
無限公理
対の公理
和集合の公理
冪集合公理
正則性公理
置換公理
これをAdolf Fraenkelが追加した
一つ一つは単純で難しくないmrsekut


https://ja.wikipedia.org/wiki/公理的集合論#ZF_公理系
https://math-fun.net/20200113/4906/
https://en.wikipedia.org/wiki/Zermelo–Fraenkel_set_theory