Otevřít hlavní menu

Peanova aritmetika (PA) je jeden z axiomatických systémů formální teorie aritmetiky. Jde o jednu z nejdůležitějších součástí matematické logiky — slouží například k důkazu slavných Gödelových vět o neúplnosti. Rozšiřuje axiomatiku Robinsonovy aritmetiky o axiomatické schéma indukce. Pojmenována je po italském matematikovi Giuseppem Peanovi.

AxiomyEditovat

(PA) je teorie v jazyce aritmetiky. Jejími axiomy jsou axiomy (Q1)–(Q7) Robinsonovy aritmetiky a navíc všechny instance následujícího axiomatického schématu pro formuli   jazyka aritmetiky:

  •   (schéma indukce)

Slovy: POKUD formule platí pro 0 A ZÁROVEŇ pro všechna X (platí pro X ⇒ platí pro následníka X), POTOM formule platí pro všechna X.

VlastnostiEditovat

Související článkyEditovat