Lainaus T.Forster at dpmms.cam.ac.uk: > Is Goedel-Bernays + global choice a conservative extension of ZFC..? Yes, by a rather nice and straightforward forcing argument. -- Aatu Koskensilta (aatu.koskensilta at uta.fi) "Wovon man nicht sprechen kann, darüber muss man schweigen" - Ludwig Wittgenstein, Tractatus Logico-Philosophicus