Leibniz's Question

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