Fixpunktsatz/Disjunktion aus Zahlgleichungen/Direkter Fixpunkt/Aufgabe
Erscheinungsbild
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.
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.