经典公理集合论系统与中介公理集合论系统之间的包含关系

本文首先在中介公理集合论系统ＭＳ中构造出Ｐｅａｎｏ自然数系统，以此为基础重新定义了ＭＳ中的良集概念，证明了新定义的良集满足经典公理集合论系统ＺＦＣ^－（ＺＦＣ中去掉正则公理的集合论系统）的全部公理，从而说明经典公理集合论系统ＺＦＣ^－为中介公理集合论系统ＭＳ的子系统．     

集合论的一些新公理系统

在公理集合论中,Zermelo-Fraenkel系统(ZF)与Von Neumann-Bernays-Gdel系统(BG)最为有名,但是仍有很多值得改进的地方,这两个系统虽然有很多根本观点是彼此不同的,但其公理却彼此息息相关,对其一作出改变后,相应地可用同法对另一系统作出改变,因此只须讨论一个系统便够了。作者认为,ZF系统较BG系统更为自然,因此     

集合论公理系统的层谱

在文献[1,2]中,我们研究了范畴论基础,建立了集合的公理系统ACG,它能够处理超出了集合与类的极其大的汇合。本文进一步推广了系统ACG,建立了集合论公理系统的三个无穷序列:H_0,H_1,…;J_0,J_1,…,G_0,G_1,…。在建立这些公理系统的过程中,我们使用了类型论的方法,它们描述的能力是逐步增长的,     

一个带本元的新集合论公理系统的相容性

采用Quine的说法,称有性质x={x}的集合x为本元,现把ZFC的正规公理改为,并加入公理无穷),称这样所得的系统为ZFU,本文证明了如ZFC相容,则ZFU也相容,并对ZFU进行了讨论,如给出V上的rank函数等,     

关于公理集合论的一个注记(Ⅰ)

本文证明了一个句子集(记为T)是协调的。     

模糊集合论的ZB系统

本文讨论模糊集合论ZB系统的一些基本性质。在ZB系统中定义模糊自然数,建立模糊实数。并给出模糊实函数连续性的定义,使得模糊数学能更多地使用传统数学的工具。     

公理系统ACG的层谱

在文献[1]中,我们从研究范畴论的基础出发,建立了聚合的公理系统ACG,我们也在ACG中证明了系统ZF^#与QM的协调性。本文对ACG建立了一个层谱,B₀,B₁,…,B_n,……(n∈ω)使得在这一列系统中前者的协调性均可在后者中加以证明,并且它们的并就是ACG。作者另文的结果,即ZF^#与QM的协调性只需在B₀中就可以获得,虽然,在B₀与ACG之间还存在个具有递增强度的公理系统。     

聚合公理系统的布尔值模型

本文以ＺＦｃ聚合公理系统为基础，构造了ＺＦｃ的布尔值模型，证明了关键定理９、定理１５，使得ＺＦ集合公理系统的布尔值模型ＶＯｎ＾（Ｂ）是聚合公理系统的布尔值模型〔ＶＯＮ＾（Ｂ）〕的子模型，并且ＺＦ集合公理组在〔ＶＯＮ＾（Ｂ）〕中满足。     

集合论的故事

<正>说到集合,你可能会说,很简单.不过,你所学的、看到的,只是集合论的冰山一角.一起来看看集合论背后的故事吧.这个故事的主人公是乔治·康托尔.1866年,康托尔在柏林大学获得了博士学位,那时他的兴趣是数论,后来在海涅的建议下,转向了分析学,并由此创立了集合论.这个故事的关键情节是如何创立一门新的数学分支.为此,我们将回到19世纪,去探寻     

超拟阵的独立集公理、基公理和圈公理

Dunstan等在1972年首先提出了超拟阵的概念,用以将定义拟阵的承载集合从有限集推广到偏序集.Barnabei等在1998年研究了另一种偏序集上的拟阵结构,即偏序集拟阵.由有限分配格和有限偏序集之间的对应关系可知,偏序集拟阵就是分配格上的超拟阵.本文研究超拟阵的公理系统,建立模格上的超拟阵的独立元公理,证明模格上超拟阵的中间基性质和基的交换性质并用这两个性质分别刻画了模超拟阵.最后指出了Barnabei等给出的分配超拟阵圈公理中的一个错误,重新提出并证明分配超拟阵的圈消去性质并建立了分配超拟阵的圈公理.作为圈消去性质的一个应用,本文证明了分配超拟阵中覆盖基的元素包含唯一的圈.     

公理信息论

本文阐述了公理信息论的产生 ,并且给出公理信息论的公理系统     

平行公理是一条平面几何公理

《中学生数学》2 0 0 1年 1 0月上期所发表的《用定义证明直线和平面平行的判定定理》是误解、误用平行公理之一例 .为了便于说明 ,先将该文证法照抄如下 :图 1已知 :直线ａ 平面α ,直线ｂ α ,ａ∥ｂ(如图 1 ) ,求证 :ａ∥α .证明　设点Ｐ是平面α内的任意一点 ,则Ｐ∈ｂ或Ｐ ｂ .若Ｐ∈ｂ ,由ａ∥ｂ ,知Ｐ ａ ;若Ｐ ｂ ,仍有Ｐ ａ .不然 ,则Ｐ∈ａ .在α内过Ｐ作直线ｃ∥ｂ ,又ａ∥ｂ ,根据过直线外一点有且只有一条直线与之平行 ,可知ａ、ｃ应为同一条直线 .从而ａ α ,与已知ａ α相矛盾 .因此 ,Ｐ ａ .综上 ,α内任意一点Ｐ…     

关于R0-代数的公理系统

该文给出了R0-代数的一些简化公理系统,并证明了R0-代数等价于满足某些条件的BCK-代数.     

原始递归字算术WA的公理系统

<正> 设A_n表示有穷字母表{s_1,s_2,…,s_n},Ω(A_n)表示A_n中所有字的集合.通常把空字(即不含任何字母的字)亦作为Ω(A_n)中的元素,记为☉.作为自然数集上函数的推广,人们研究Ω(A_n)上的函数,叫做字函数.对于字函数的研究,可以叫做字算术.在字算术中,至少可有下述两个观点:     

关于公理方法

在目前深入开展对资产阶级学术思想的大批判中,提出了公理方法问题,这的确是一个重要问题.如何评价公理方法在数学中的作用和地位?正确地解决这个问题不仅对数学学科的发展,而且对数学教学的改革具有重要意义.本文的目的是对这个问题提出一些初步的讨论意见.一、公理方法在数学中的作用数学是研究现实世界的空间形式和数量关系的科学.数学知识是从社会实践中来的.人们在实践中得到的数学知识,开始是一些感性材料.这类感性材料积累多了,就需要整理、加工,把它系统化,形成理论系统.公理方法是从数学经验资料的加工、整理和系统化     

集合论的创始人——康托尔

<正>康托尔(Cantor,1845-1918)1845年出生于俄国圣彼得堡的一个商人家庭,1856年随父母迁居德国.学生时代康托尔爱好广泛,极富想像力,又具有很强的个性.1868年在柏林大学取得博士学位,并极其幸运地追随当时最著名的数学家维尔斯特拉斯从事研究工作.从1872年起,康托尔开始了极富想象力的集合论的研究,他以敏锐的目光和深刻的思想,向当时人们的传统观念,发起了挑战,完成了一系列令     

集合论的孕育与诞生

集合论在数学中占有一个独特的地位,它的基本概念已渗透到数学的所有领域.按现代数学观点,数学各分支的研究对象或者本身是带有某种特定结构的集合如群、环、拓扑空间,或者是可以通过集合来定义的(如自然数、实数、函数).从这个意义上说,集合论可以说是整个现代数学的基础.集合论作为数学中最富创造性的伟大成果之一,是在19世纪末由德国的康托尔(1845—1918)创立起来的.但是,它萌发、孕育的历史却源远流长,至少可以追溯到两千多年前.1　无穷集合的早期研究集合论是关于无穷集合和超穷数的数学理论.集合作为数学中最原始的概念之一,通常是指…     

祖暅之公理

我國古代的祖暅之公理,也就是现代一般人所說的卡瓦利利(Cavalieri)公理,是指下述公理而言的,即:界於二平行平面之間的兩個立體、被任一平行於二平面之平面所截,若其二截面面積常相等,則二立體體積亦必等。當我們承認了連續公理並且有了某些積分學的知識之後,這公理也可被證為是一個定理,這公理,或是說這定理在考慮立體體積時常常會用到,特別是在考慮未知的,比較複雜與不规則的立體體積時,由這公理,就可以用已知的比較規則的在等高處截面面積相等的另一立體去代替。卡瓦利利是17世纪纪上半纪意大利的數學家,他的生卒年代是1598—1647年。     

eO-代数簇公理

扩张Ockham代数簇$e{\bf O}$是由所有$(L;\wedge,\vee, f, k,0,1)$所组成的代数类,其中$(L;\wedge,\vee,0,1)$是有界分配格, $f$是$L$上的偶同态, $k$是$L$ 是$L$上的同态且满足条件: $fk=kf$. 在本文中,我们把Urquhart定理推广到$e{\bf O}$-代数类,并特别考虑$e{\bf O}$-代数的子代数类 $e_2{\bf M}$.在子代数类$e_2{\bf M}$中, $f$和$k$满足条件: $f^{2}=id_L$及$k^{2}=id_L$. 我们证明: 在子代数类$e_2{\bf M}$中,有19个非等价公理.同时我们给出其蕴含关系的表达图式.     

集合论在离散数学中的作用探索

在《离散数学》课程中,集合论绝不像表面显现的那么简单,相反地,它可谓一根主线贯穿了整个《离散数学》课程,在该课程的数理逻辑、关系、图论、代数系统等部分均发挥着表达工具或内容支撑的作用.在本文中,我们就集合论在《离散数学》各部分内容中的作用进行了探索,希望所得结论能引起各位《离散数学》授课教师的重视.