哥德尔不完备定理与停机问题共同划定了形式系统的表达边界。