[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 52 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
952(1): 2021/03/08(月)12:51 ID:hW/TJfzK(3/16) AAS
選択公理から排中律は出るわけで、
排中律あってはいかん分野が数学ではある。
お前が知らんだけで。
956(1): 2021/03/08(月)13:46 ID:tHlTN7kN(13/32) AAS
>>952
>選択公理から排中律は出るわけで、
正しくは IZF（直観主義論理上でのZF）+AC→排中律 ですね
>排中律あってはいかん分野が数学ではある
具体的には何ですか？
「排中律を前提しない理論」ならあってもいいと思いますよ
「あってはいかん」というのはないでしょう 大丈夫ですか？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s