A statement in the language of ZFC is provable in NBG if and only if it is provable in ZFC.
Предложения, сформулированные на языке теории ZFC, доказуемы в ZFC тогда и только тогда, когда они доказуемы в NBG.