Los siguientes tres axiomas son heredados de la lógica proposicional y se incorporan a la lógica de primer orden.