@funnymaths If you consider statements of the form 'x = x', where x is a real number, as a provable math statement, then I think no: there are only countably many things that can be written, but uncountably many real numbers. Doesn't matter how many monkeys you've got.