Peanova aritmetika
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.[1]
Referencie
[upraviť | upraviť zdroj]- ↑ Teoretická aritmetika [online]. . Dostupné online.
|
Tento článok týkajúci sa matematiky je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš. |