“The surreal numbers form a "real closed field," meaning they satisfy field axioms, allow for square roots, and every odd-degree polynomial has a root.”