Үүнийг мессежээр илгээх: Олонлогийн онолын ба математик логикийн элементүүд