选择公理相关论文
布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础。利用交互式定理证明辅助工具Coq,可以完整构建这三大母结构的形式化系......
那汤松(HamaHcoH)在他所著的《实变函数》认为,不需要选择公理就可以证明20≥1.证明, 若ZF+AD是和谐的, 则没有选择公理,2(※)0≥(......
我在2007年11期中,我们认识了“分球怪论”和“选择公理”.为了让数学世界充满神奇,我们就应该去承认“选择公理”,我认同,但若它......
本文从外测度的定义出发,利用外测度必须具备的三个性质,在以选择公理为基础,以教材中一维不可测集例题的构造方法,构连出二维不可......
<正> 不管你是一个善良的灵魂或是万恶的妖魔,不管你带来了天上的和风或是地狱中的罡风,不管你的来意好坏,因为你的形状是这样引起......
【正】一、绪言(奇数与偶数的对立性与同一性)偶数能被2整除,奇数不能被2整除的传统经典理论回答不了为什么1+1=2?…,理论上没有根......
本文在对选择公理在数学基础中的地位和作用以及某些等价命题进行探讨的基础上,比较系统地论述了选择公理在某些学科的重要应用.......
在前期研究的基础上，进一步讨论了康托对角线法及实数集的可数性问题，并给出了一个证明。同时对区间套法，康托定理，哥德尔定理，选择公理......
给出了一阶逻辑完备性定理的一个新的代数证明,这个证明不使用依赖于Boole代数表示定理的γ-解释,但使用关于Q-滤子(△)的(△)-解......
在传统集合中元素 X(或 Y)只扮演一个角色,代表一种身份,表示一种性质,发挥一种职能,在此基础上的集合公理为一阶公理。按照任何事......
为了研究勒贝格不可测集之间的关系,本文基于勒贝格可测集和不可测集的定义,运用了选择公理与良序定理构造了Vitali集与Bernstein......
每一个正确的数学演绎证明的逻辑结构，就是一个逻辑定理；反之每一个逻辑定理反映了一个正确的数学演绎推理规则。数学分析也不能例外......
在法律推理过程中,人们可以通过行为使结果“出现”(由无到有)、“保持”、“消失”(由有到无)的变化来发现当事人之间权利与义务......
连续统假设是Hilbert著名的23个问题的第一个问题.本文深入浅出地阐述了这一问题的研究历史和现状,同时简要介绍了与之有关的ZF公......
