Gottlob Frege en su "Begriffsschrift" (1879) extendió la lógica formal más allá de la lógica proposicional para incluir constructores como "todo" y "algunos".