История изменений
Исправление hateyoufeel, (текущая версия) :
Нет, будет формула, которая не выводима - нельзя ни доказать, ни опровергнуть
Это и называется аксиомой.
Если рассматривать стандарт Си как непротиворечивую (допустим!) формальную систему
Если рассматривать член как палец, его можно засунуть в дверь и прищемить. Но так делать, конечно же, не следует.
Повторюсь: стандарт Си не является формальной системой даже близко. Насколько мне известно, есть формальные описания языка Си, но они порождены из стандарта. Если интересуешься, посмотри в сторону Compcert – при его разработке что-то такое делали.
Исходная версия hateyoufeel, :
Нет, будет формула, которая не выводима - нельзя ни доказать, ни опровергнуть
Это и называется аксиомой.
Если рассматривать стандарт Си как непротиворечивую (допустим!) формальную систему
Если рассматривать член как палец, его можно засунуть в дверь и прищемить. Но так делать, конечно же, не следует.