It seems mathematics misuses the logical implication, and often really mean to use biconditionals, are there any proofs that use a false antecedent and a true conclusion in math? How would they know the conclusion was true if there is such a case?
valid question