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