first-order predicate calculus
0 cálculo de predicados de primer orden
Cualquier sistema de la lógica matemática que extiende la lógica proposicional empleando variables, predicados y cuantificadores de variables. La lógica con predicados de primer orden, tiene la capacidad para definir prácticamente a todas las matemáticas.
