Projective Arithmetic

Commutativity of addition and multiplication on the projective line: Desargues' and Pappus' Theorems.
Additive and multiplicative identities.
Additive and multiplicative inverses too!