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

[0255 １３２人目の素数さん 2024/05/13(月) 22:23:54.69 ID:pzVZ11pL]

うーん、理解されなかったか。
Pがなんらかのタイプの矛盾であるとき、
P ⊢ Pは妥当なのか。