This paper formalises the Global Convergence Theorem within the Paton System. It demonstrates that any system governed by admissibility constraints, bounded tolerance, and finite operator composition cannot diverge indefinitely. Such systems must converge to one of three states: stability, bounded oscillation, or termination. This theorem establishes formal closure of admissibility-governed operator frameworks and confirms structural completeness.
Andrew John Paton (Sun,) studied this question.