如果系统是健全和公理是真的那么它的定理也保证是真的。

If a system is sound and its axioms are true then its theorems are also guaranteed to be true.

youdao

如果系统是健全和公理是真的那么它的定理也保证是真的。

If a system is sound and its axioms are true then its theorems are also guaranteed to be true.

youdao