1908年にErnst Zermeloが提唱した集合論の公理系

ZF公理系よりも前であることに注意

Z^-と表記する

以下の8つの公理からなる

ZF公理系を知っている前提でわかりやすく言うと

Z^-=ZF公理系-置換公理+分出公理

これが公理系としてどう弱いのか

p.104~を再読

ゆるいのでもうちょい良い資料はあると思う

参考

『集合とはなにか』 p.94~