この資料をSMS送信: Relating Z and First−order logic