Reverse Mathematics 2001 - innbundet, Engelsk, 2005