. A logic is called monotonic if th

. A logic is called monotonic if the addition of new axioms to a theory based on it never leads to the loss of any theorems proved in this theory.

Kết quả (Việt) 1:

. Một logic được gọi là monotonic nếu việc bổ sung các tiên đề mới với một lý thuyết dựa trên nó không bao giờ dẫn đến sự thiệt hại của bất kỳ định lý được chứng minh trong lý thuyết này.

Kết quả (Việt) 2:

. Một logic được gọi là đơn điệu nếu việc bổ sung các tiên đề mới cho một lý thuyết dựa trên nó không bao giờ dẫn đến sự mất mát của bất kỳ định lý chứng minh lý thuyết này.