... 指定算术运算 assignment arithmetic operation 指定公理 assignment axiom 依名称指派 assignment by name ...
基于8个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
“语句观”把一个理论看成是一个语句系统，而“谓词观”通常是指定义一个集合式谓词来对理论公理化。
The "sentence view" regards a theory as a sentence system, while the "predicate view" usually refers to the approach that axiomatizes a theory by defining a collective predicate.
youdao
应用推荐
模块上移
模块下移
不移动