归结定理
_
resolution theorem
пословный:
归结 | 结定 | 定理 | |
1) сводить в одно: подытоживать; заключать
2) в общем итоге, в конце концов
3) развязка, финал, концовка (напр. литературного произведения)
|
1) незыблемая истина, непреложный закон, аксиома
2) мат. теорема
3) определённое правило
|