Definition:The Higher Arithmetic