из множества определений, множества теорем и множества постулатов
из множества постулатов, множества теорем, множества определений и множества правил.
из множества элементов, множества операций и множества постулатов
из множества элементов, множества теорем и множества правил