格斯曾說過：數(shù)學(xué)上的所謂公理,是數(shù)學(xué)需要用作自己出發(fā)點(diǎn)的少數(shù)思想上的規(guī)定.
所謂數(shù)學(xué)公理化就是指從盡可能少的原始概念和不加證明的原始命題（即公理、公設(shè)）出發(fā),按照邏輯規(guī)則推導(dǎo)出其他命題,建立起一個(gè)演繹系統(tǒng)