The Importance of Constructive Perspective in Mathematics

Some mathematicians don't like this and they want to deal with things from a constructive perspective. For example, if I ask you to give me a value of a certain type, you can't just like point somewhere and say, okay, go choose that out there. You have to very specifically define everything that you do. This is kind of the foundation that type theory enforces whereas like in set theory, you can just like say, alright, we're going to assume that this object exists.