Dedekind-Peano-Axiome/Strichmodell/Aufgabe

Definiere auf der Menge der Wörter zum einelementigen Alphabet ${}A=\{{|}\}$ ein Dedekind-Peano-Modell. Worauf beruht die Gültigkeit der Dedekind-Peano-Axiome?

Eine Lösung erstellen