GEB是從G不是一個Theorem開始講起的。這和Liars Paradox一樣，

從“這個句子是對的”是推不出矛盾的，要從“這個句子是錯的”才能推出來。