集合論公理系ZF

選択公理と数学　発生と論争、そして確立への道　（増補版）