Үүнийг мессежээр илгээх: Relating Z and First−order logic