mathematical certainty