可推断定理
_
теорема о выводимости
пословный:
| 可推断 | 断定 | 定理 | |
1) утверждать, с уверенностью говорить; определять, решать; определение, решение, утверждение; лог. предикация
2) определённо, категорически
|
1) незыблемая истина, непреложный закон, аксиома
2) мат. теорема
3) определённое правило
|