[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
693(5): 2022/04/28(木)21:10 ID:2nf0w5TH(1) AAS
>>679 訂正と補足
なんか、ワケワカさんが、
無闇に突っ込んで自爆していますねｗ
まず訂正
・実際、下記のZFCにあるように、公理で定められた各集合の演算は、もともとその回数は無制です
↓
・実際、下記のZFCにあるように、公理で定められた各集合の演算は、もともとその回数は無制限です
さて、念押しですが ”条件 p,q を満たすものの集合をそれぞれ P,Q とする”とき
条件「pかつq」および「pまたはq」をあらわす図は、それぞれ次図のようになる。
（再録）
画像ﾘﾝｸ[png]:upload.wikimedia.org
「pかつq」に対応する
P∩Q
画像ﾘﾝｸ[png]:upload.wikimedia.org
「pまたはq」に対応する
P∪Q
・ここで、
「pかつq」←→P∩Q
「pまたはq」←→P∪Q
と相互に移り合うのです
（ぐだぐだ∃∀いうやついるけど、カンケーネーｗ）
・さらに、>>680の集合論ZFC中では、上記の論理 「pかつq」と「pまたはq」は、基本は使いません
ZFCの公理系の中では、集合演算で済ませて、それでは出てこないのです
では、どうするの？ 全部、P∩QやP∪Qで済ませて、一階述語論理を翻訳します
「それで困らないのか？」ですって？ｗ 大丈夫！ >>679の”高等学校数学A/集合と論理”と >>680のwikipedia(ツェルメロ＝フレンケル集合論)を百回音読してくださいｗｗ
「ZFC」は、”公理的集合論の標準形式であり、今日では最も一般的な数学基礎論となっている”（上記 wikipediaより）
と高く評価されていますよ
・条件「pかつq」および「pまたはq」をあらわす図、P∩QとP∪Qで
p,qたちが、有限しか許されない？？ｗｗｗ
例えば、添え字i∈N(自然数)で、集合族Piを考えて
無限和 ∪i Pi は、ZFCでは許されない？
無限積 ∩i Pi は、ZFCでは許されない？
何を言っているのかなｗ
上下前次1-新書関写板覧索設栞歴
あと 309 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.014s