Peanova aritmetika: Rozdiel medzi revíziami
Smazaný obsah Přidaný obsah
vytvorenie |
(Žiaden rozdiel)
|
Verzia z 18:15, 29. október 2007
Peanova aritmetika je jeden z axiomatických systémov formálnej teórie aritmetiky. Je jednou z najdôležitejších súčastí matematickej logiky, slúži napríklad k dôkazu Gödelovych viet o neúplnosti. Rozširuje axiomatiku Robinsonovej aritmetiky o axiomatickú schému indukcie. Je pomenovaná po talianskom matematikovi Giuseppovi Peanovi.