Löb's paradox, a puzzle in modal logic, questions the formalization of provability…
Sign in to your account
Remember me
