「任意の集合 に対し， 」であることを， で表す． 外延性の公理． 集合 に対し， ならば， 集合 に対し， が と同値であるとき， と表す． どんな述語 に対しても という集合がある，というわけではない． 空集合の公理．集合 が存在して，任意の集合 に対…