选择公理相关论文
布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础。利用交互式定理证明辅助工具Coq,可以完整构建这三大母结构的形式化系......
那汤松(HamaHcoH)在他所著的《实变函数》认为,不需要选择公理就可以证明20≥1.证明, 若ZF+AD是和谐的, 则没有选择公理,2(※)0≥(......
我在2007年11期中,我们认识了“分球怪论”和“选择公理”.为了让数学世界充满神奇,我们就应该去承认“选择公理”,我认同,但若它......
