Fixpunktsatz/Einstellig/Endlich und koendlich/Aufgabe
Erscheinungsbild
Es sei eine arithmetische Ausdrucksmenge und ein einstelliges Prädikat.
- Es gelte
für endlich viele und für alle übrigen natürlichen Zahlen gelte
Zeige, dass es einen Satz mit
gibt.
- Es gelte
für endlich viele und für alle übrigen natürlichen Zahlen gelte
Zeige, dass es einen Satz mit
gibt.