Enviar aquest missatge de text: Relating Z and First−order logic