Telefona gönder: Théorie métamathématique des idéaux