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