The systematic, formal, axiomatic development of the logic of all forms and models of being.

• 事物的所有表示和模型的逻辑的,系统的,正式的,和公理性的开发。