Үүнийг мессежээр илгээх: Symbolic logic and the real number system