2021年8月4日 数理論理学ZFCにおける直積の構成ZFCにおける直積の構成 ZFCにおける直積の構成方法をまとめます. 必要な公理 内包公理図式： \(y\)を自由変数として含まない論理式\(\varphi\)ごとに, \(\exists y \forall x (x 続きを読む