|
Sep. 21st, 2009|05:42 pm |
Переформулирование можно не учитывать, т.к. при добавлении к системе утверждение проверяется не только на непротиворечивость, но и на невыводимость из других аксиом системы.
Обратная операция, естественно, выглядит как исключение последней аксиомы в списке. Неинтересная. |
|