It will be incomplete in the sense that it will contain axioms with no formal proof. Technically speaking the TOE is this axiom.

However, you can even prune these axioms by selecting for the simplest one that conflicts with the least data.