$\newcommand{\N}{\mathbb N}$ In this post I’m going to use Euclidean division to do changes of base for nonnegative integers. Euclidean…
In this post I’m going to prove that the following four statements are equivalent given the ZF axioms: (1) Hausdorff…
$\newcommand{\e}{\varepsilon}$In this post I’m going to prove the intermediate value theorem (IVT), Darboux’s theorem, and introduce the Conway base 13…
Here I’m going to go through one common proof of the following result: Theorem: assuming Zorn’s lemma, every vector space…
In this post I’m going to prove the Schroeder-Bernstein theorem and then discuss an order on the class of all…