概括公理相关论文
弗雷格被称为数理逻辑的创始人和分析哲学的奠基人,但他本人主要从事的工作是逻辑主义,即把算术还原为逻辑,从而通过逻辑的分析性......
本文首先将新弗雷格主义的发展划分为三个阶段:(1)弗雷格算术(由二阶逻辑和休谟原则构成的理论)的一致性和对于二阶皮亚诺算术公理的可......
集合论的概括(抽象)原则说的是,对于任意的性质或条件恰好存在一个由满足这个性质或条件的对象组成的一个集合,康托尔的朴素集合论......
公理化集合论建立新的公理限集合形成原则,成功地拯救了朴素集合论。这一方法极大地推动了集合论的发展,并且为经典数学奠定了基础。......