Dónde ubicar los orígenes de la lógica de primer orden depende de lo que se entienda por lógica de primer orden.