Dedekind-Peano-Axiome/Strichmodell/Aufgabe

Aus Wikiversity

Definiere auf der Menge der Wörter zum einelementigen Alphabet ein Dedekind-Peano-Modell.

Worauf beruht die Gültigkeit der Dedekind-Peano-Axiome?