Los dos axiomas siguientes son característicos de la lógica de primer orden.