Теория форм Платона трактуется как абстрактные объекты или универсалии, формализуемые в логике высших порядков, акцент на точной семантике и онтологической экономии