数系的扩充