Constructivism (philosophy of mathematics)

In philosophy of mathematics, constructivism asserts that it is necessary to find (or "construct") a specific example of a mathematical object in order to prove that an example exists. Contrastingly, in classical mathematics, one can prove the existence of a mathematical object without "finding" that object explicitly, by assuming its non-existence and then deriving a contradiction from that assumption.

Source: Wikipedia — Constructivism (philosophy of mathematics) (CC BY-SA 4.0)