[deleted] comments on Constructive mathemathics and its dual

[[deleted]]

The contemporary name for “tertium non datur” is the “Law of excluded middle.”