Folge/Rekursionsvorschrift/Negation/Aufgabe
Eine Folge in einem angeordneten Körper sei durch einen Anfangswert und durch die Rekursionsvorschrift
Eine Folge in einem
angeordneten Körper
sei durch einen Anfangswert
und durch die Rekursionsvorschrift