Каковы основные компоненты чистой системы типов?
(Отметьте один правильный вариант ответа.)
Варианты ответа
сорта, аксиомы, функциональные пространства(Верный ответ)
сорта, аксиомы, правила вывода
алфавит, сорта, аксиомы