Seol mar théacs é seo: Symbolic logic and the real number system :