mathematical definition constructive vs
Constructive mathematics. Idea. Broadly speaking, constructive mathematics is mathematics done without the principle of excluded middle (or other principles, such as the full axiom of choice, that imply it).