分出公理
Axiom of comprehension
写像$ \varphiで写したものも$ \{z\in x| \varphi(z)\}も集合になるよという主張
公理
$ \exist y\forall z[z\in y\iff [z\in x\land \varphi(z)]]
集合$ xの中で、条件$ \varphiを満たすものだけを集めた集合$ yが存在する
この$ yを$ \{z\in x|\varphi(z)\}と記述する
図でイメージするのが早い
https://gyazo.com/aa3b9097b89445cdb1070e61a1eaf6da
これ図、合ってるか？mrsekut.icon
どうやったらfilter感を図で表せられるかがわからん
Haskell風に書けば
y = filter φ x
このyも集合である、という主張