5.521 Je sépare le concept tous de la fonction de vérité.

Frege et Russell ont introduit la généralisation en connexion avec le produit ou la somme logique. Il était dès lors difficile de comprendre les propositions « (∃x) . fx » et « (x) . fx », dans lesquelles les deux idées sont impliquées.