更多词语查询:
公理化方法的解释
词语基本信息
  • 词语条目:公理化方法
  • 词语拼音:gōng lǐ huà fāng fǎ(ㄍㄨㄙ ㄌㄧˇ ㄏㄨㄚˋ ㄈㄤ ㄈㄚˇ)
  • 相关成语:
  • 公理化方法的解释

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

    相关词语
     最近查询: