Sin embargo, si por lógica de primer orden se entiende un sistema lógico similar al expuesto en este artículo, entonces los orígenes de la lógica de primer orden se deben buscar recién en el siglo XIX, en la obra de Gottlob Frege.