逆数学_定理から公理を証明する(本)