Theoremata Kleene de puncto immobili
Theoremata Kleene de punctio immobili sunt duo theoremata theoriae facultatis calculandi a Stephano Kleene inventa.

Theorema primum

Expositio 
Theorema. Si  functio sit numerorum naturalium, ei est punctum immobile. Id est, numerus naturalis  est, ut programma  idem sit quod .

Theoremata mathematica