In intuitionistic logic, and more generally, constructive mathematics, statements are assigned a truth value only if they can be given a constructive proof.
У Интуиционој логици, и генерално, у конструктивној математици, изјавема се додељују тачне вредности само ако се могу дати конструктивани докази.