公理主義は関係無いと思う。