Unproven statements in intuitionistic logic are not given an intermediate truth value (as is sometimes mistakenly asserted).
Недоказаним изјавама у интуиционој логици се не дају средње вредности за истину (као што се понекад погрешно ради).