gōng lǐ huà/huā fāng fǎ从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发，按特定演绎推理规则推导出这一学科中其他命题(定理)，并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。

sì shū wén1.明清科举考试所用的文体。多取"四书"语命题，亦称八股文﹑时文。详"八股"。

jiān bái xiāng/xiàng yíng1.后期墨家针对公孙龙学派"离坚白"命题而提出的反驳命题。公孙龙学派认为坚白石的坚﹑白两种属性是各自独立存在的，后期墨家则指出坚白石是一个整体。"无坚得白，必相盈也"(《墨子．经说下》)。坚﹑白两种属性是相互渗透地结合在一起，不能分割的。只有当其处在不同的两种物体中，才是彼此分离的，所以说"坚(白)异处不相盈"(《墨子．经说上》)。

sāi/sài/sè wǎ/wà dìng lǐ设x、y、z分别为△abc的三边bc、ac、ab(或其延长线)上的点，且ax、by、cz交于一点(或互相平行)，则bxxc·cyya·azzb＝1。由意大利数学家塞瓦发现而得名，其逆命题也成立。

bīn cí1.逻辑术语。一个命题的三部分之一，是表示思考对象的属性或联系的概念。如在"金属是导体"这个命题中，"导体"是宾词。

xiǎo tí1.古书卷首的题目。 2.明清科举考试时以"四书"文句命题为小题。

xìng tiān1.犹天性。谓人得之于自然的本性。语本《礼记．中庸》:"天命之谓性。" 2.指人性和天命。为理学研讨的命题。

zhǐ wù1.战国时名家公孙龙所提出的命题。指，指事物的抽象概念;物，指具体事物。 2.指明事物。

shù/shǔ/shuò xué guī nà fǎ数学上证明与自然数n有关的命题的一种方法。必须包括两步：(1)验证当n取第一个自然数值n_0(如1，2等)时，命题正确；(2)假设当n取某一自然数k时命题正确，以此推出当n=k+1时这个命题也正确。从而就可断定命题对于从n_0开始的所有自然数都成立。

xì/jì cí1.逻辑上指一个命题的三部分之一，连系主词和宾词来表示肯定或否定。如"青蛙是两栖动物"中的"是"，"猩猩不是人"中的"不是"。 2.相当于判断词。