Mediante la aplicación de estas ideas, se pueden encontrar cuatro tipos distintos de teorías de primer orden: