Email Record: Metamathematics of first-order arithmetic /