sentence: Si A est un ensemble et si P est une propriété dépendant d'un paramètre x de A, le fait d'affirmer que tous les éléments de A vérifient P ou que l'un des éléments de A ne vérifie pas P, s'appelle principe d'omniscience.
modified: fix grammar: Si A est un ensemble et si P est une propriété dépendant d'un paramètre x de A, les fait d'affirmer que tous le éléments de A vérifient P ou que l'un des éléments de A ne vérifie pas P, s'appelle principe d'omniscience.