Back Peano-Arithmetik German Peano arithmetic English Peano-aritmetika Hungarian Aritmetica di Peano Italian Peanova aritmetika Slovak Peanoaritmetik Swedish Формальна арифметика Ukrainian
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.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search