proposition universelle- énoncé portant sur tous les objets mathématiques d'un domaine fondamental
Aussage über alle mathematischen Objekte eines Grundbereichs
