Mathématique constructive, Roger Apery · Super Livre