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.
“语句观”把一个理论看成是一个语句系统，而“谓词观”通常是指定义一个集合式谓词来对理论公理化。
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.
“语句观”把一个理论看成是一个语句系统，而“谓词观”通常是指定义一个集合式谓词来对理论公理化。
应用推荐