Gödel showed with his incompleteness theorems that any consistent formal system strong enough to describe the fundamental properties of arithmetic is necessarily incomplete. This means there will always be true mathematical statements that cannot be proved within the system.

There are several ways out of the Matrix, and maths is just one of them.