公理化方法的意思

注音 ㄍㄨㄥ ㄌ一ˇ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ

拼音 gōng lǐ huà fāng fǎ

基本釋義

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