>261

公理的集合論「田中尚夫」のp52です。