In constructive and intuitionistic frameworks (following Brouwer and Bishop), the existence of a com...