z,w\rangle$。あることが同値であることを示す。(自明ではないと思うので要証明)。(自明ではないと思うので要証明)。(部分集合の後にそれが属する冪集合に触れたように)、順序対が属する直積集合について述べる。直積集合とは次に述べる集合のことである。2,4\rangle\}\]である。y\}\]と書けるだろう。ここからは直積の存在を証明する。無限にモノが属する集合の直積は外延的記法では記述できないので対の公理と和集合の公理では存在を証明できない。直積の存在証明のために公理を追加しなくてはならないのだろうか。存在を次のように証明できる。