Arithmetic Foundations - Petty's Notebook