SMS dit: Théorie métamathématique des idéaux