Невозможно доказать математически, что назавтра наступит затмение, ибо затмения, как и прочие физические явления, не являются частью абстрактного мира математики. С этим, я уверен, согласится, если на него как следует надавить, любой астроном, независимо от количества верно предсказанных им затмений.