En su trabajo de 1879, la "Conceptografía", Frege ofrece por primera vez un sistema completo de lógica de predicados.