Since his ultimate goal is to prove the rationality of the world, he has to transcendentalize, formalize and idealize the theory.

由于他最是要证明世界理性，他不得不把动理论先验化、形式化和理想化。