Even though NBG is a conservative extension of ZFC, a theorem may have a shorter and more elegant proof in NBG than in ZFC (or vice versa).
Несмотря на то, что NBG является расширением ZFC, некоторые теоремы могут более просто элегантно доказываться в NBG, чем в ZFC (или наоборот).