Sicasí, la verdadera revolución de la lóxica vieno de la mano de Gottlob Frege, quien frecuentemente ye consideráu comol lóxicu más importante de la hestoria, xuntu con Aristóteles. Nel so trabayu de 1879, la Conceptografía, Frege ufierta per primer vegada un sistema completu de lóxica de predicaos y cálculu proposicional. Tamién desenvuelve la idea dun llinguaxe formal y define la noción de prueba. Estes idees constituyeron una base teórica fundamental pal desenvolvimientu de los ordenadores y les ciencies de la computación, ente otres coses. Magar esto, los contemporáneos de Frege pasaron per alto les sos contribuciones, probablemente por causa de la complicada notación que desenvolvió lautor. En 1893 y 1903, Frege publica en dos volúmenes Les lleis de laritmética, onde intenta deducir tola matemática a partir de la lóxica, no que se conoz comol proyeutu loxicista. El so sistema y la so aplicación a la teoría de conxuntos, sicasí, contenía una contradicción (la paradoxa de Russell).