唯物論を退けるのは、「フォーマリズム」と呼びうるような立場を擁護するため