Павел Вертинский: К вопросу о полноте аксиоматики физических теорийНазад
Павел Вертинский: К вопросу о полноте аксиоматики физических теорий
Вступление
После вывода Д. Гильберта, что: "...Если некоторое высказывание непротиворечиво, то оно также и доказуемо." /1/ в математике стало возможным практически определить полноту аксиоматических систем. Действительно, если все выводы и следствия данной аксиоматической системы доказуемы в данной же системе, то есть без привлечения дополнительных , недоказуемых в данной системе формул, то данная аксиоматическая система полна.