證明前先根據聖經歸納出的一條引理(或公理)：

引理：主來的日子在直到主來之前任何人都事先無法確定。

證明：見耶穌教導。證畢。

末世定理：主來的日子不可能事先由人確定在任何某個年份。

證明：用倒推歸納(backward induction)和反證法。假設主來的日子
被確定在公元XX年。那麼，主來的日子不可能是那一年的最後一天
12月31日。否則，但全體教民在那一年翹首企盼到12月30日半夜12：00
之前的10^(-32)之妙發現耶穌還沒來，於是便可斷定一定是第二天(31日)。
這同引理矛盾。故12月31日被排除。

同理，主來的日子也不會是那一年的12月30。蓋因教民們翹首企盼到
12月29日子夜12：00前的 10^(-32)妙，發現耶穌沒來，同時他們又已經排除了12月31日的可能性。於是便能斷定主必在12月30日降臨。這又同
引理矛盾。

如此推斷下去直到排除XX年的元旦。最後得出：主不可能在XX年的任何
一天降臨。這同一開始的反證假設即可以斷定在XX年份矛盾

證畢。