objet métamathématique