The_finiteness_of_the_page - NISHIO Hirokazu's Scrapbox (Auto-translated from Japanese)