（X）所构造的理论的扩充。实数算术的基础