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

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

youdao

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

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

youdao