Volume I Self-Reference, Truth, and Semantics
Löb's paradox
The provability-logic sibling of Curry's.
Canonical solution
AI-generated reference summary for orientation; verify details independently.
A canonical reference summary is still being developed.
Alternate Solutions
No alternate solutions have been recorded.