[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 52 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
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.029s