Paraconsistency in Mathematics