Из каких составляющих в общем случае состоит формальная математичеcкая система
- Из множества элементов, множества теорем и множества правил
- Из множества определений, множества теорем и множества постулатов
- Из множества элементов, множества операций и множества постулатов
- Из множества постулатов, множества тео-рем, множества определений и множества правил
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.