单项选择题 十九世纪后期，数学家戴德金，康托尔和皮亚诺等人证明了：实数系---以及由此导出多种数学---能从确立（）系的公设集导出。

单项选择题 十九世纪后期，由于戴德金，（）和皮亚诺的工作，使得数学的基础已建立在更简单更基础的自然数系上。二十世纪初期，他们又证明了自然数可用集合论概念来定义，因而各种数学能以集合论为基础来论述。

单项选择题 在分析的严密化过程中，数学家魏尔斯特拉斯提出一个设想：（）系本身首先应该严格化，然后分析的所有概念应该由此数系而导出。实现这个被称作分析的算术化的著名的设想是相当困难和复杂的，但是魏尔斯特拉及其后继者使此设想基本上得以实现，使今天的全部分析可以从表明实数系特征的一个公设集中逻辑地推导出来。