Intuitionistic logic is nearly classical logic. That is, we start by assigning statements one of the two values ‘True‘ and ’False’. While truth in the classical sense is abstract, it is concretized in intuitionistic logic with the meaning of ’we can prove it’. We know that there are statements that can neither be proved nor disproved, so we cannot make use of the law of excluded middle "a statement is true or it is not". Add that we are consistent, that is "not (a and not a)" for all a, and then negation must not be the inverse of itself, because we'd be able to proof the law excluded middle otherwise. You see, it is basically classical logic with some minor adaptions to take into account what we’ve learned.
I understand under "constructive reals" the computable reals, and there are only countably many of them.
I understand under "constructive reals" the computable reals, and there are only countably many of them.