в) формулируется система правил вывода, позволяющая преобразовывать исходные положения и переходить от одних положений к другим, а также вводить новые термины (понятия) в теорию;
г) осуществляется преобразование постулатов по правилам, дающим возможность из ограниченного числа аксиом получать множество доказуемых положений — теорем.
Область научного знания, которая строится аксиоматическим способом, представляет собой единую дедуктивную систему, в которой все содержание теории может быть логически выведено из ее начальных основоположений — аксиом.
В состав аксиоматизируемой теории входят:
1.логическое исчисление («чистые» логические аксиомы и правила вывода);
2.«словарь» — термины внелогического (конкретно-научного) языка и их пределения (для определяемых терминов);
3.внелогические аксиомы.
