Seol mar théacs é seo: The origin of the logic of symbolic mathematics