Cyan comments on The two meanings of mathematical terms

[Cyan]

Yes, a constructivist mathematician) does not believe in proof by contradiction.