207
207
обеспечивающего строгие правила вывода
следствий из доказанных
утверждений. При построении формализованной аксиоматической си-
стемы вводятся
исходные знаки - термины,
определяются правила их
соединения в формулы, задается перечень исходных формул (принима-
емых без доказательства) и правила вывода формул-следствий.
Обычная алгебра,
которую учат в школе, не
единственно
возможная... Можно определить понятия сложения и умножения
объектов и при этом отказаться от
аксиом обычной алгебры,
например от предположения, что результат умножения не зави-
сит от порядка сомножителей.
Получится другая алгебра
(А. Мигдал [26]).
