数学基礎論・数理論理学　その19

数学基礎論・数理論理学　その19 (605ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

255(2): １３２人目の素数さん [] 2024/05/13(月)22:23 ID:pzVZ11pL(2/4)
うーん、理解されなかったか。
Pがなんらかのタイプの矛盾であるとき、
P ⊢ Pは妥当なのか。

256: １３２人目の素数さん [] 2024/05/13(月)22:27 ID:PIZjx3rs(1)
>>255
自分が理解していないから問題点を明確に書けない

258: １３２人目の素数さん [] 2024/05/13(月)22:35 ID:nMh83wOC(3/4)
>>255
Pが矛盾でも何でもP→Pは成立するよ