数学基礎論・数理論理学 その19 (628レス)
上下前次1-新
抽出解除 レス栞
327(1): 2024/05/19(日)04:38 ID:MeSZkcgn(1/8) AAS
>>326
google(二重否定除去と矛盾の公理の関係に関する一考察)
328: 2024/05/19(日)05:32 ID:S2r1dLN0(2/4) AAS
>>327
さんくす
そっかFalse→¬Aの形は爆発律いらんのだったわ
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 1.247s*