Yup the theorem gets proven in the book. It's very very verbose but the content is clearly there. "I am a Strange Loop" elaborates a bit on the parts which may

Yup the theorem gets proven in the book. It's very very verbose but the content is clearly there. "I am a Strange Loop" elaborates a bit on the parts which may have been confusingly explained, notably both in the proof of the theorem and in the author's AI philosophy.