Template:Individual-TLP-paragraph-pt-br-5.521
5.521 Separo o conceito todo das funções de verdade.
Frege e Russell introduziram a universalidade em ligação com o produto lógico ou a soma lógica e, dêsse modo, tornou-se difícil entender as proposições “(∃x) . fx” e “(x) . fx”, em que ambas as idéias permanecem ocultas.