Es un sistema de lógica matemática que usa la Lógica de predicados de primer orden, y que es extendida con el cálculo de predicados o proposiciones de segundo orden. La lógica con predicados de primer orden, tiene la capacidad para definir prácticamente a todas las matemáticas. Una teoría de primer orden consiste en una serie de axiomas (normalmente finitos o recursivos pero enumerables) y las conclusiones derivadas de los mismos (axiomas).

Lógica matemática