Үүнийг мессежээр илгээх: Introductory formal logic of mathematics