Describir: Théorie métamathématique des idéaux