Kendine göndergeli önerme

[asdasdasddj]

Bilgisayar programcılığında ve matematiksel mantıkta kendine göndergeli önerme ya da özgöndergeli önerme, bir önermenin veya fonksiyonun kendisi hakkında yargı veya çözüm içermesidir.
Tanım

Matematiksel mantıkta, eğer bir P tamdeyimi, değişken olarak yine P'yi içeriyorsa, bu tamdeyimlere özgöndergeli önermeler denir:

P \equiv (\phi(P))

burada \phi, P değişkenli bir tamdeyimdir.

Bu tanım, aslında iki adımdan oluşturulabilir:

Taban önerme: P \equiv (\forall X:\ \phi(X))
Özelleme, X=P seçme: P \equiv (\phi(P))

Örnekler

Epimenides Çatışkısı "Bu cümle yanlıştır"
Fibonacci Serisi f(1)=1 f(2)=1 olmak üzere "f(x)=f(x-1)+f(x-2)"