22/04/28 21:10:42.31 2nf0w5TH.net
>>679 訂正と補足
なんか、ワケワカさんが、
無闇に突っ込んで自爆していますねｗ
まず訂正
・実際、下記のZFCにあるように、公理で定められた各集合の演算は、もともとその回数は無制です
↓
・実際、下記のZFCにあるように、公理で定められた各集合の演算は、もともとその回数は無制限です
さて、念押しですが ”条件 p,q を満たすものの集合をそれぞれ P,Q とする”とき
条件「pかつq」および「pまたはq」をあらわす図は、それぞれ次図のようになる。
（再録）
URLﾘﾝｸ(upload.wikimedia.org)
「pかつq」に対応する
P∩Q
URLﾘﾝｸ(upload.wikimedia.org)
「pまたはq」に対応する
P∪Q
・ここで、
「pかつq」←→P∩Q
「pまたはq」←→P∪Q
と相互に移り合うのです
（ぐだぐだ∃∀いうやついるけど、カンケーネーｗ）
・さらに、>>680の集合論ZFC中では、上記の論理 「pかつq」と「pまたはq」は、基本は使いません
ZFCの公理系の中では、集合演算で済ませて、それでは出てこ