Dicha teoría consiste en un conjunto de axiomas expresables en un lenguaje formal de primer orden.