Developing arithmetic in Godel's system T | Benedict Eastaugh http://extralogical.net/articles/arithmetic-godel-system-t.html
