初等逻辑定理
_
элементарная логическая теорема
пословный:
初等 | 逻辑 | 辑定 | 定理 |
первая ступень (инстанция); первичный; начальный; элементарный
|
логика; логический; логичный
|
1) незыблемая истина, непреложный закон, аксиома
2) мат. теорема
3) определённое правило
|