Definition:Higher Arithmetic