Kendine göndergeli önerme
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. 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)) 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)" Douglas R.