An attempt to axiomatize a system of real numbers, functions of such, and generalizations of such.