切消定理
qiēxiāo dìnglǐ
лог. теорема Генцена, элиминационная теорема
пословный:
| 切 | 消 | 定理 | |
1) резать; разрезать
2) мат. касание
II [qiè]1) соответствовать; отвечать
2) обязательно, непременно; перед отрицанием ни в коем случае
3) как следует; по-настоящему; твёрдо
4) тк. в соч. насущный; настоятельный
|
I
гл. А
1) растворяться, размягчаться; рассеиваться; теряться (вдалеке); сходить на нет
2) кончаться, переводиться; приходить к концу; выходить; исчезать гл. Б
1) растворять; растоплять; размягчать; рассеивать
2) расходовать, потреблять; сбывать (товар); уничтожать; останавливать; аннулировать
3) требовать, нуждаться в, следовать
II сущ.
кит. мед. болезни мочевыделения (особенно при диабете)
|
1) незыблемая истина, непреложный закон, аксиома
2) мат. теорема
3) определённое правило
|