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

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