Translation of "intuitionism" into Portuguese

An approach to mathematics/logic which avoids proof by contradiction, and which requires that, in order to prove that something exists, one must construct it. Intuitionism is underpinned by intuitionistic logic. [..]