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 仿射子空间。