שינויים

נגדיר כעת את הנוסחא הבאה <math>B(x)=\forall z:P(z=f(x)\rightarrow P(z))</math>.

נניח <math>B([B])</math>. לכן עבור <math>\forall z:P(z=f([B])\rightarrow P(z))</math>. נשים לב כי <math>f([B])=[B([B])]</math>. בפרט, עבור <math>z=[B([B])]</math> נובע כי <math>P([B([B])])</math> כפי שרצינו.