. "2007"^^ . . . "978-3-88538-118-1" . "Peano-Arithmetik"@de . . . "Heldermann Verlag" . "4645225"^^ . "2"^^ . . . "Messen und Z\u00E4hlen"@de . . . "Die Peano-Arithmetik (erster Stufe, kurz PA) ist eine Theorie der Arithmetik, also der nat\u00FCrlichen Zahlen, innerhalb der Pr\u00E4dikatenlogik erster Stufe. Als Axiome werden die Peano-Axiome verwendet, wobei das Induktionsaxiom durch ein Axiomenschema ersetzt werden muss. Da in der Pr\u00E4dikatenlogik erster Stufe keine Aussage \u00FCber Mengen von Objekten m\u00F6glich ist, ben\u00F6tigt man f\u00FCr jede Formel das Axiom"@de . "Einf\u00FChrung in die mathematische Logik"@de . "B. G. Teubner Stuttgart" . "Die Peano-Arithmetik (erster Stufe, kurz PA) ist eine Theorie der Arithmetik, also der nat\u00FCrlichen Zahlen, innerhalb der Pr\u00E4dikatenlogik erster Stufe. Als Axiome werden die Peano-Axiome verwendet, wobei das Induktionsaxiom durch ein Axiomenschema ersetzt werden muss. Da in der Pr\u00E4dikatenlogik erster Stufe keine Aussage \u00FCber Mengen von Objekten m\u00F6glich ist, ben\u00F6tigt man f\u00FCr jede Formel das Axiom Andere erststufige Formalisierungen der nat\u00FCrlichen 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."@de . "Eine einfache Konstruktion der reellen Zahlen"^^ . . . . . "153506816"^^ . . "1969"^^ .