En 1879, Frege publicó su "Conceptografía (Begriffsschrift)", donde presentó el primer sistema de lógica de predicados tal como lo entendemos hoy (aunque con una notación muy diferente a la actual).