Comment Comment by rini17 How is that different from claiming, say, there's an integer betwen three and four, oh we can't construct it but that's not a problem, gonna use it in the proofs anyway? parent rini17 3 years ago