Artikel nach Tag: kardinalnost

Struktur der reellen Zahlen in der formalen Mathematik

Lerne, wie ℝ aus ℕ durch Paare, Dedekind-Schnitte und Cantors Diagonalisierungsargument konstruiert wird. Für Entwickler: formale Konstruktionen der Arithmetik ohne Annahmen.