>>194314
Are mathematicians not human beings?

Do you accept the Law of the Excluded Middle (LEM) as applied to potentially undecidable propositions? As a constructivist, I do not.

>>194315