cálculo de primer orden

La lógica de primer orden (LPO) o cálculo de predicados de primer orden es cualquier sistema de la lógica matemática que extiende la lógica proposicional empleando variables, predicados y cuantificadores de variables. A su vez es extendida por la lógica de segundo orden.La lógica con predicados de primer orden tiene la capacidad para definir prácticamente a todas las matemáticas.
Ver más en Wikipedia.org...