Search Articles — Sudonull

Search Results

In this project

Structure of real numbers in formal mathematics

https://sudonull.com/structure-of-real-numbers-in-formal-mathematics

Learn how ℝ is constructed from ℕ through pairs, Dedekind cuts, and Cantor's diagonal argument. For developers: formal constructions of arithmetic without assumptions.

Trending Now