NBG, ZF и аксиома индукции

[alex_dorin]

С одной стороны утверждается, что NBG - это консервативное, те не существенное расширение ZF, и, в то же время, известно, что в NBG
арифметическая аксиома индукции не верна, в отличии от ZF, где она может без
возникновения противоречия присоединена.
Я вижу здесь противоречие. В чем здесь дело ?