Pātuhitia tēnei: Théorie métamathématique des idéaux