infallibility and certainty in mathematics