Fontem paginae Theoremata Kleene de puncto immobili inspicere

'''Theoremata Kleene de punctio immobili''' sunt duo theoremata [[theoria facultatis calculandi|theoriae facultatis calculandi]] a [[Stephanus Kleene|Stephano Kleene]] inventa.

== Theorema primum ==

=== Expositio ===
'''Theorema.''' Si <math>F</math> functio sit numerorum naturalium, ei est punctum immobile. Id est, numerus naturalis <math>e</math> est, ut programma <math>P_e</math> idem sit quod <math>P_{F(e)}</math>.

{{Math-stipula}}

[[Categoria:Theoremata mathematica]]