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 · Deutsch
Die Peano-Arithmetik (erster Stufe, kurz PA) ist eine Theorie der Arithmetik, also der natürlichen Zahlen, innerhalb der Prädikatenlogik erster Stufe. Als Axiome werden die Peano-Axiome verwendet, wobei das Induktionsaxiom durch ein Axiomenschema ersetzt werden muss. Da in der Prädikatenlogik erster Stufe keine Aussage über Mengen von Objekten möglich ist, benötigt man für jede Formel das Axiom Andere erststufige Formalisierungen der natürlichen Zahlen, die mit der Peano-Arithmetik verwandt sind, sind beispielsweise die Robinson-Arithmetik und die primitiv rekursive Arithmetik, die auch Teile der Peano-Axiome benutzen.
Abstract from DBpedia / Wikipedia · CC BY-SA