Синхрон Сергея Николенко

Если агент может доказать, что совершит действие в будущем, ему не обязательно будет делать его прямо сейчас; но ровно то же самое будет верно и в любой последующий момент времени, и в результате, по индукции, действие так и не будет сделано; но ведь агент по условию мог доказать, что будет! Так возникает парадокс прокрастинации (кажущийся, конечно, как и большинство других парадоксов).