George Boolos demonstrated that there was a derivation that could be completed in a page using cut, but whose analytic proof could not be completed in the lifespan of the universe.
》中，George Boolos展示了可以使用切在一页中完成的推导，而它的分析性证明要耗尽宇宙的寿命来完成。