un cas d’espèce, car elle peut être énoncée sous la forme « tout deux et tout autre deux font quatre », ou « toute collection formée de deux deux est une collection de quatre ». Si nous pouvons montrer que de tels énoncés ne traitent réellement que d’universaux, notre proposition peut être considérée comme prouvée.
Une façon de découvrir de quoi traite une proposition est de se demander quels sont les mots que nous devons comprendre — autrement dit, quels sont les objets dont nous devons avoir l’accointance — pour voir ce que signifie la proposition. Dès que nous voyons ce que signifie la proposition, même si nous ne savons pas encore si elle est vraie ou fausse, il est évident que nous devons avoir une accointance avec ce dont traite réellement la proposition. En appliquant ce test, il apparaît que de nombreuses propositions qui pourraient sembler concerner des particuliers ne concernent en réalité que des universaux. Dans le cas particulier de « deux et deux font quatre », même si nous l’interprétons comme signifiant « toute collection formée de deux deux est une collection de quatre », il est évident que nous pouvons comprendre la proposition, c’est-à-dire que nous pouvons
