Գրեք սա: Varieties of constructive mathematics