数学基礎論・数理論理学 その19at MATH数学基礎論・数理論理学 その19 - 暇つぶし2ch255:１３２人目の素数さん 24/05/13 22:23:54.69 pzVZ11pL.netうーん、理解されなかったか。 Pがなんらかのタイプの矛盾であるとき、 P ⊢ Pは妥当なのか。 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch