Stav dette: Théorie métamathématique des idéaux