Исправление buddhist, 19.12.12 12:38 (текущая версия) :
При том, что аксиоматический подход неполон, что доказано логически. А как я понимаю, ТС имеет в виду именно аксиоматическую, а не конструктивную формализацию.
Исходная версия buddhist, 19.12.12 12:38:
При том, что аксиоматический подход неполон, что доказано логически.