The mathematical philosophies of constructivism and structuralism may at first appear to be at odds with each other. The emphasis on direct construction and lack of a full-fledged abstract set-theoretic or type-theoretic language in early approaches seemed to preclude a structuralist view of mathematics in constructivism.