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