Zornの補題とメイドインアビスについて

「まだ先に進める」と常に思うから「終わりはない」ように思えるけど、「終わりはあるよ」ということ”だけ”は証明できるって話。