Anfonwch hwn fel neges destun: Varieties of constructive mathematics