Definition, synonyms and related words
Dealing strictly in constructive proofs, abstaining from proof by contradiction