Stav dette: Foundations of real ninbers.