Comment by nyssos

Classical logic is the presumed default for mathematics, if someone is working in a different system they will say so explicitly.