Talk:Gödel-Bernays set theory