[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 52 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
968(1): 2021/03/08(月)15:02 ID:tHlTN7kN(20/32) AAS
>>964
そもそも排中律はIZFC上の定理として正当化されてるわけではないんですが…
>>965
選択公理の何が気に入らないのか知りませんが
選択公理を否定せよというあなたの主張には同意しません
他にも「無限公理を否定せよ」とか
「平行線公準を否定するな」とか
省6
971: 2021/03/08(月)15:11 ID:hW/TJfzK(7/16) AAS
>>968
> 選択公理を否定せよ
どこにそんなことを書いた？
大枠の公理としてあかんのちゃうか、いうてるだけや。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.304s*