Gödel numbering
自然数を変数とする述語「は…である」の対角化は、左記の述語のに「は…である」のゲーデル数を代入した命題である。その意味は「「は…である」は…である」となる。