====== Teorie typů ======
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]