En termes de logique, l'universalité d'une proposition, le caractère d'une proposition dont l'attribut convient à la totalité du sujet.