ZFCにおける直積の構成

ZFCにおける直積の構成 ZFCにおける直積の構成方法をまとめます. 必要な公理 内包公理図式: \(y\)を自由変数として含まない論理式\(\varphi\)ごとに, \(\exists y \forall x (x […]