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