解的整体存在性