Үүнийг мессежээр илгээх: A tour through mathematical logic