從少數(shù)不加定義的原始概念和少數(shù)不加證明的基本命題(公理)出發(fā)，按特定演繹推理規(guī)則推導出這一學科中其他命題(定理)，并構成一個演繹系統(tǒng)的方法。任何特定的公理化系統(tǒng)都不是絕對嚴格和完備的。