tokens: Sous une forme très proche de ces théorèmes de point fixe , il est également un argument essentiel du premier théorème d' incomplétude de Gödel ( qui est un résultat d' indécidabilité logique ) : en l' occurrence le lemme qui permet de montrer l' existence d' une proposition qui entraîne sa propre non-prouvabilité , et qui est d' ailleurs souvent appelé lemme de diagonalisation .