>>285

それは何か公理を使っていますよね。
この本では、問題の箇所のところまでに登場している公理は帰納的な集合が存在するという公理のみです。