>>585
まあ昔はRusselも無限公理は証明できるんじゃないかと考えてたしね。
モデルの概念が良く知られるものとなった現代では考えられないのだけど。

ところでどうでもいい質問で申し訳ないが
BGEのEって誰？