Metamathematics of first - order arithmetic - Hajek, Petr (Perspectives in mathematical logic, 1998)