El primero está formulado en lógica de primer orden, y es en realidad un esquema de axioma.