分出公理
$ \forall\psi\forall X\exists A\forall x\left(x\in A\iff (x\in X\land\psi(x))\right)
Russelのparadox
を回避する為に必要な
公理図式
$ \psi
は1変数論理式
この公理図式は
置換公理
から導出できる
axiom schema of separation
#2021-10-14
11:26:45