Language-Independent Arithmetic