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