今回の数学エッセーでは, 定礎な関係のノイマン級数は再び定礎であるという定理を, ZF 内で証明します. E を 集合, R を E 上の定礎な二項関係, S を R から定まるノイマン級数とする. つまり, S は E 上の 2項関係で, xSy は, E のある有限列 x_0, … , x_n …