一阶逻辑

一阶逻辑是来自区别于高阶逻辑的数理逻辑，它不允许量化性质。性质是一个者孙随再统下月物体的特性;所以一个红色物体被表述为有红色的特性。