술어 자신을 술어로 취할 수 있음?

[익명(182.210)]

술어 P에 대해서

P(P) 이런 식으로 ㅇㅇ

계형이론에 의하면 안 될 것 같기도

[익명(180.83)]

고차논리에서 허용되는 식임.

[익명(180.83)]

아니면 (\x.xx)(\x.xx) 꼴 untyped lambda calculus식도 있음.