Leibniz's Question

Is there an algorithm for deciding which statements of number theory are true?