，于是可以构造一个命题形式()，表示是某个不可自证命题形式的哥德尔数。()的形式描述如下：现在我们所要的语句就可以如下定义：直观上，当问到是否为真的时候，我们是在问：“不可自证这个特性本身是不可自证的吗？”这很容易让人联想到理发师悖论，那个理发师只替那些不替自己理发的人理发：他替自己理发吗？现在让我们假定公理系统是相容的。如果是可证明的，于是(())为真，根据的定义， = ()就是某个不可自证命题形式的哥德尔数。于是就是不可自证的，根据不可自证的