Логическая семантика
...непротиворечивой теории математики (впоследствии Курт Гедель доказал, что это невозможно, - см. принцип дополнительности). Рассел сформулировал так назывемую теорию типов для разрешения математических парадоксов вроде известного парадокса лжеца.