演绛系统完备性
_
completeness of deduction system
пословный:
演 | 绛 | 系统 | 完备性 |
1) представлять; показывать (на сцене); выступать; играть (напр., в пьесе)
2) тк. в соч. развиваться; эволюционировать
|
1) тёмно-красный, вишнёвый
2) Цзян (княжество во времена Чуньцю на территории нынешней пров. Шаньси)
3) сокр. 绛县 Цзянсянь (уезд в пров. Шаньси)
|
1) система; порядок; формация; системный, систематичный, упорядоченный
2) блок, агрегат
|