... The systematic, formal, axiomatic development of the logic of all forms and models of being. 事物的所有表示和模型的逻辑的,系统的,正式的,和公理性的开发。 axiomatic development of Boolean-algebra布尔代数的公理化发展 He tracked out the course and development of it. 他根据遗迹探索出该事物的进程和发展。 ...