Zum Inhalt springen

Fixpunktsatz/Disjunktion aus Zahlgleichungen/Direkter Fixpunkt/Aufgabe

Aus Wikiversity

Es seien natürliche Zahlen und sei

wobei durch die -fache Summe der mit sich selbst realisiert werde. Zeige, dass es Sätze mit

und mit

gibt.