以证明：此处的 "n" 是指对应于自然数"n"的数码，其定义为闭项 1+ ··· +1 ("n"个1)，而"f"("n")是对应于"f"("n")的数码。对角线引理也要求有一种系统化方式，去给每个式子θ指派一个自然数#(θ)，其中#(θ)称为θ的哥德尔数。然后，任何的式子便可在理论"T"中，以对应于其自身的哥德尔数的数码所表示。对角线引理可以应用到那些足以表示所有原始递归函数的理论。此类理论包括皮亚诺算术，以及较弱的。该引理的一个较普遍的陈述是（如下一小节所示），作较强的假定，即是假设理论"T"可