Anfonwch hwn fel neges destun: Symbolic logic and the real number system :