Zum Inhalt springen

Fixpunktsatz/Einstellig/Endlich und koendlich/Aufgabe

Aus Wikiversity

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.