好似係廿一世紀數學，就有公理嘅概念，響一個數學領域入面，數學家會諗定一拃命題做所謂嘅「公理」，呢拃公理唔使證明就可以當係真確，而公理數量係愈少愈好，然後數學家就會齋靠數學證明嘅方法，由啲公理度證明嗮個領域入面嘅第啲諗法；