Wikidata facts
- Instance of
- theory
- Subclass of
- arithmetic
Show 5 more facts
- maintained by WikiProject
- WikiProject Mathematics
- Stack Exchange tag
- proofassistants.stackexchange.com/tags/peano-arithmetic
- uses
- Peano axioms
- short name
- PA
- does not have characteristic
- decidability
via Wikidata · CC0
Article · Italiano
L'aritmetica di Peano, denotata anche con l'acronimo PA (Peano Arithmetic) in logica matematica è una teoria del primo ordine che ha come assiomi propri una versione degli assiomi di Peano espressi nel linguaggio del primo ordine.
Abstract from DBpedia / Wikipedia · CC BY-SA