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

[0319 １３２人目の素数さん 2024/05/16(木) 17:32:59.62 ID:x1lVhHOe]

>>318
A ⊢ A
A, ￢A ⊢
A, ￢A, B ⊢
A, ￢A ⊢ ¬B
ちょっと弱い爆発律が導けちゃった