可选中1个或多个下面的关键词,搜索相关资料。也可直接点“搜索资料”搜索整个问题。
),这里的x是论域(domainofdiscourse)的成员。一阶(递归)公理化理论是通过增加一阶句子/断定的递归可枚举集合作为公理,可以被公理化为一阶逻辑扩展的理论。这里的叫做谓词并表达某种性质。谓词是适用于某些事物的表达。所以,表达是黄色或喜欢椰配者凯菜分别适用于是黄色或喜欢椰菜的那些事物。一阶逻辑是区别于高阶逻辑的数理逻辑,它不允许量化性质。性质是一个物体的特性;所以一个红色物体被表述为有红色的特性。嫌虚性质可以被当作物体只凭自身的一种构成(form),它可以拥有其他性质。性质被认为有别于拥有它的物体。所以一阶逻辑不能表达下列陈述,对于所有的性质P,培唤或存在着性质P,。但是,一阶逻辑足够强大了,东方美食它可以形式化全部的集合论和几乎所有的数学。把量化限制于个体(individual)使它难于用于拓扑学目的,东方美食但它是在数学底层经典的逻辑理论。它是比句子逻辑强比二阶逻辑弱的理论。