Peanova aritmetika

z Wikipédie, slobodnej encyklopédie
Skočit na navigaci Skočit na vyhledávání

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ť kód]

  1. Teoretická aritmetika [online]. . Dostupné online.