Из каких составляющих в общем случае состоит формальная математическая система:

• из множества определений, множества теорем и множества постулатов;

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

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

• из множества элементов, множества теорем и множества правил;