It cannot be possible to prove mathematically that there will be an eclipse to-morrow, because eclipses, and other physical phenomena, do not form part of the abstract world of mathematics; and this, I suppose, all astronomers would admit when pressed, however many eclipses they may have predicted correctly.