Text this: Théorie métamathématique des idéaux