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

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

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

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

256: 2024/05/13(月)22:27 ID:PIZjx3rs(1) AAS
>>255
自分が理解していないから問題点を明確に書けない

258: 2024/05/13(月)22:35 ID:nMh83wOC(3/4) AAS
>>255
Pが矛盾でも何でもP→Pは成立するよ