Seol mar théacs é seo: Constructive mathematics - its set theory and practice