Löb's Theorem

2 points| isaac21259 | 3 years ago |ncatlab.org