In another sense, a formal system is syntactically complete if and only if no unprovable sentence can be added to it without introducing an inconsistency.
Yet predestination negates surprises and, in fact, sets up a mathematically enclosed universe whose limits are always inconsistent, always encountering the unprovable.
