Stav dette: Constructive Mathematical Analysis