Stav dette: Changes in the foundations of exact science