公理是真的
The axioms are true
以上为机器翻译结果，长、整句建议使用 人工翻译 。
如果系统是健全和公理是真的那么它的定理也保证是真的。
If a system is sound and its axioms are true then its theorems are also guaranteed to be true.
youdao
应用推荐
模块上移
模块下移
不移动