a été ou sera pensé par les êtres humains. Il s’ensuit qu’il existe des paires d’entiers qui n’ont jamais été et ne seront jamais pensées par les êtres humains, et que toutes concernent des entiers dont le produit est supérieur à 100. D’où la proposition suivante : « Tous les produits de deux entiers, qui n’ont jamais été et ne seront jamais pensés par un être humain, sont supérieurs à 100 ». Voici une proposition générale dont la vérité est indéniable, et pourtant, de par la nature même du cas, nous ne pouvons jamais en donner un exemple, car les deux nombres auxquels nous pouvons penser sont exclus par les termes de la proposition.
Cette possibilité de connaissance de propositions générales dont on ne peut donner aucun exemple est souvent niée, parce qu’on ne perçoit pas que la connaissance de telles propositions n’exige qu’une connaissance des relations d’universalité, et ne requiert aucune connaissance d’exemples des universaux en question. Pourtant, la connaissance de telles propositions générales est tout à fait vitale pour une grande partie de ce que l’on admet généralement connaître. Par exemple, nous
