Constructive Mathematics

A family of mathematical approaches that require explicit constructions or algorithms to witness existence claims and that typically reject nonconstructive principles such as the unrestricted law of excluded middle; proofs are expected to provide computational content.