":, not '"

https://arbital.com/p/59w

by Nate Soares Jul 10 2016


The intuition behind the proof of Lób's theorem invokes the formalization of the following argument:

:, not '