Үүнийг мессежээр илгээх: First-order logic