“皮亞諾公理”詞語拼音為：pí yà nuò gōng lǐ，注音：，首字母：pyngl，“皮亞諾公理”的詞性為：名詞，近義詞：公理系統、公理化、公理化體系，反義詞：無公理性、非公理化，基本解釋：刻畫自然數特徵的一組公理。由義大利數學家皮亞諾於1899年提出。包括以下五條(1)1是自然數；(2)任一自然數都有唯一自然數為其後繼數；(3)沒有兩個相異自然數有同一後繼數；(4)1不是任何自然數的後繼數；(5)如果1有性質p，且任何具有性質p的自然數其後繼數也具有性質p，則一切自然數都有性質p。上述(5)就是數學歸納法原理。所有自然數的性質，都可由皮亞諾公理匯出。