Stav dette: Principles of mathematics