证明：由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性。

And I prove the formal axiomatic system of prepositional logic that is made up of axiomatic Mode and the Rule of Detachment does not possess syntactic perfectibility.

youdao

数学归纳法推理是典型的三段论，而不是完全归纳法，其基础是自然数列的性质，而不是逻辑公理。

Mathematic induction is a typical syllogism, it is not complete induction, its base is the property of natural sequence, but not logic axioms.

youdao

强权即公理——这是帝国主义的逻辑。

Might is right — that is the logic of imperialism.

《新英汉大辞典》