Constructive Logic

(redirected from Constructivism (mathematics))
Also found in: Wikipedia.

Constructive Logic

 

a logic developed in conformity with the principles of the constructive school, distinguished by constructiveness (possibility of effective construction) of objects whose existence is affirmed in statements (propositions).