логика (прид.) - тип (имн.)

Нивната теорија за логички типови на исказот му оневозможува да биде исказ самиот за себе, такашто секој исказ за некое X го ставаат во повисока логичка категорија отколку самото X.
„МАРГИНА бр. 26-28“ (1996)