formalize

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

由于他的最终目的是要证明世界的合理性，他不得不把交往行动理论先验化、形式化和理想化。

Karyogram (idiogram) The formalized layout of the KARYOTYPE of a species, often with the chromosomes arranged in a certain numerical sequence.

一个种染色体组的固排列。

These observations allow one to formalize the definition of reflection: a reflection is an involutive isometry of an Euclidean space whose set of fixed points is an affine subspace of codimension 1.

这些观察允许我们形式化反射的义: 反射是欧几里得空间的对合等距同构，它的不动点集合是余维度为 1 的仿射子空间。