so what you really would have needed to apply the deduction theorm would have been PA + “◻C → C” |- C do I win?
Why doesn’t the given proof of Lob’s Theorem, the steps 1-10, show that PA + “◻C → C” |- C?
Why doesn’t the given proof of Lob’s Theorem, the steps 1-10, show that PA + “◻C → C” |- C?