Stav dette: Axiomatic functionalism