I Am a Strange Loop

by Douglas R. Hofstadter

X is true because there is a proof of X; X is true and so there is a proof of X. The first line expresses the first hope expressed above — consistency. The second line expresses the second hope expressed above — completeness.