Fixpunktsatz/Einstellig/Endlich und koendlich/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine arithmetische Ausdrucksmenge und ein einstelliges Prädikat.

  1. Es gelte

    für endlich viele und für alle übrigen natürlichen Zahlen gelte

    Zeige, dass es einen Satz mit

    gibt.

  2. Es gelte

    für endlich viele und für alle übrigen natürlichen Zahlen gelte

    Zeige, dass es einen Satz mit

    gibt.

Eine Lösung erstellen