Y=\f.(\x.f(xx))(\x.f(xx))
F(YF)=YF
YF = (\x.F(xx))(\x.F(xx)) = GG = X
[ Home | Post Entry | Log in | Search | Browse Options | Site Map ]
no subject
такой что для любого F
Доказательство: Из предыдущей теоремы замечаем, что