APP 皮亞諾公理 pí yà nuò gōng lǐ
意大利數(shù)學(xué)家皮亞諾于1889年提出的一組刻畫自然數(shù)特征的公理。包括以下五條：(1)1是自然數(shù)；(2)任一自然數(shù)都有唯一自然數(shù)為其后繼數(shù)；(3)沒有兩個(gè)相異的自然數(shù)有同一后繼數(shù)；(4)1不是任何自然數(shù)的后繼數(shù)；(5)如果1具有性質(zhì)P，且任何具有性質(zhì)P的自然數(shù)其后繼數(shù)也具有性質(zhì)P，則一切自然數(shù)都具有性質(zhì)P。其中(5)就是*數(shù)學(xué)歸納法原理。所有自然數(shù)的性質(zhì)都可由這五條公理推導(dǎo)出來。
