[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 52 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
961(1): 2021/03/08(月)14:29 ID:hW/TJfzK(4/16) AAS
>>956
日本語話せ。
選択公理は、文脈からどう考えても、ZFC ととれんか？
揚げ足とった気になってる馬鹿はお前。
962(1): 2021/03/08(月)14:37 ID:tHlTN7kN(18/32) AAS
>>961
選択公理をACと表し、
ZF+AC=ZFC
IZF+AC=IZFC
と表します
ZFCは古典論理上の理論なので、排中律は成立してます
ZF も古典論理上の理論なので、排中律は成立してます
省4
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.854s*