皮亞諾公理的意思

注音 ㄆ一ˊ 一ㄚˋ ㄋㄨㄛˋ ㄍㄨㄥ ㄌ一ˇ

拼音 pí yà nuò gōng lǐ

基本釋義

⒈  刻畫自然數特徵的一組公理。由義大利數學家皮亞諾於1899年提出。包括以下五條：（1）1是自然數；（2）任一自然數都有唯一自然數為其後繼數；（3）沒有兩個相異自然數有同一後繼數；（4）1不是任何自然數的後繼數；（5）如果1有性質p，且任何具有性質p的自然數其後繼數也具有性質p，則一切自然數都有性質p。上述（5）就是數學歸納法原理。所有自然數的性質，都可由皮亞諾公理匯出。