snaha vypořádat se se sémantickými paradoxy
Být italský spisovatel je úctyhodné
pravidlo (A) predikáty P a P' → výrok <latex>P'(P)</latex>
pravidlo (A) nese problém při aplikace predikátů na sebe sama
neplatit o sobě samém
řešit pomocí zavedení predikátů vyšších řádů, které se aplikují na predikáty nižších řádů
predikáty druhého řádu jsou typu [[U→B]→B]