Выдержка из книги
Булос Д.N.
Вычислимость и логика
О - Зух - у) является теоремой теории Z, и ее включение в качестве нелогической аксиомы теории Z не является необходимым. Подобно аксиомам теории Q, все аксиомы индукции истинны в стандартной интерпретации Af, и, следовательно, Z непротиворечива. Очевидно, Z является аксиоматизируемым расширением теории Q. Не будучи полной, теория Z тем не менее ввиду наличия аксиом индукции является значительно более сильной теорией, нежели Q: так, например, все предложения, перечисленные в упр.
