[[!redirects Sandbox > history]] [[!redirects Sandbox]] < [[nlab:Sandbox]] Axiom of real cohesion, but where the real numbers are defined as the terminal Archimedean ordered field. Valid predicatively, and impredicatively one could prove that the real numbers are Dedekind complete. category: redirected to nlab