In der Vorlesung wurde mit Hilfe des Zornschen Lemmas die Existenz einer maximalen Teilmenge M der natürlichen Zahlen bewiesen, in der dir Gleichung x + y = z nicht lösbar ist . Können Sie eine solche Menge M explizit definieren? Hinweis: Definiere M rekursiv.
Der in der Frage angesprochene Beweis: