某些数学名词称为原名定义是对名称和术语的含义加以描述，作出明确的规定，也就是给出的定义(definition)。数学名词称为原名，公认的真命题称为公理，除了公理外，其他命题的真假都需要通过演绎推理的方法进行判断。