数理と哲学　カヴァイエスとエピステモロジーの系譜