FANDOM


Der Nachfolger[1] einer Ordinalzahl ist definiert als:

suc α = α ∪ {α}

Dafür wird auch die Schreibweise α + 1 verwendet, was der Addition mit 1 entspricht. Andere Schreibweisen sind α′ und α+. Daneben wird Suc als Prädikat im Sinne von „ist Nachfolger (von)“ verwendet.

Einzelnachweise Bearbeiten

  1. Megill, Norman: df-suc - Metamath Proof Explorer.

Störung durch Adblocker erkannt!


Wikia ist eine gebührenfreie Seite, die sich durch Werbung finanziert. Benutzer, die Adblocker einsetzen, haben eine modifizierte Ansicht der Seite.

Wikia ist nicht verfügbar, wenn du weitere Modifikationen in dem Adblocker-Programm gemacht hast. Wenn du sie entfernst, dann wird die Seite ohne Probleme geladen.

Auch bei FANDOM

Zufälliges Wiki