Үүнийг мессежээр илгээх: Формальный вывод и логичечкие исчиления