Peano-Axiomatik/Erste Stufe/Aufzählbar axiomatisierbar/Aufgabe

Begründe, dass die (durch die erststufigen Peano-Axiome definierte) Peano-Arithmetik aufzählbar-axiomatisierbar

ist.

Eine Lösung erstellen