Artikel nach Tag: vewennye-chisla

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.