2. The system is sound and complete, and based on it we can obtain different normal cognition logics by adding a series of
axiom sequences.
该系统具有可靠性和完备性,在此基础上添加一些公理序列可得到许多不同的正规认知逻辑系统。
3. The name of the ship that the humans are living on is "Axiom. " In logic and math, an
axiom is something unquestionable or taken for granted.
人类居住的飞船名叫“艾克西姆(公理)”。在逻辑学和数学中,公理的意思是一个毋庸置疑或理所当然的事实。