论选择公理与2(※)0≥(※)1的关系

那汤松(HamaHcoH)在他所著的《实变函数》认为,不需要选择公理就可以证明20≥1.证明, 若ZF+AD是和谐的, 则没有选择公理,2(※)0≥(※)1不成立.从而说明那汤松所提示的证明是不严格的.     

论选择公理与2~(■_0)≥■_1的关系

那汤松(HamaHcoH)在他所著的《实变函数》认为,不需要选择公理就可以证明2■0≥■1.证明,若ZF AD是和谐的,则没有选择公理,2■0≥■1不成立.从而说明那汤松所提示的证明是不严格的.     

不分明化拓扑中的几乎分离公理

在不分明化拓扑空间中，利用正则开集、R-邻域和δ-闭包等概念导入了AT0-，AT1-，AT2-，AT3-，AT4-分离公理，并且给出了这5个公理的等价命题以及它们的关系．     

用边界公理建立拓扑

首先给出边界公理的定义，然后证明边界公理与开集公里的条件等价，从而证明以从边界公理出发建立拓扑空间的概念。     

连通、N2-局部连通、K1,4-受限图的哈密顿性

证明如下结论：设G是连通、N2-局部连通、δ≥6的K1，4-受限图，如果G中不含有同构于G1，G2或G3的导出子图H。则G含哈密顿圈．     

Goldbach猜想等与PA的一些联系——对一些数论问题的逻辑讨论(Ⅱ)

用模型论方法证明了Goldbach猜想和孪生素数猜想等的一些形式都独立于一组公理P1(而P1在自然数系N上与Peano公理组PA等价). 又证明了它们与一组较强的公理P2相和谐(P2也在N上与PA等价).     

拓扑分子格的弱T*分离公理

利用强半开邻域引入和研究了拓扑分子格的弱Ti^*分离公理，这是Ti^*分离公理的推广(i=1，2，3，4)．     

代数结构与几何基础Ⅲ——射影几何的公理体系

在本文中我们将给出只保留结合公理的几何，并证明：这种几何．同构于域上的射影几何．若添加顺序公理．则得到同构于有序域上的射影几何的几何．     

代数结构与几何基础Ⅳ——仿射几何的公理体系

在公理化方法定义的几何中引进“平行”关系,然后把结合公理I;改成“平行公理”,我们就得到一种新的几何——仿射几何．本文将证明这种几何同构于某一体(域)上的n维仿射几何,若添加牍序公理,则这种几何同构于某一有序体(域)上的n维仿射几何,最后我们指出：三维仿射几何的结合公理、平行公理和顺序公理就是Hilben公理体系中的结合公理、平行公理和顺序公理。     

相似关系粗糙集理论的一个极小公理组

粗糙集公理化是粗糙集理论研究的一个重要部分,其目的是用可靠且独立的公理组对粗糙集理论进行刻画,从而可以用逻辑和公理系统方法对粗糙集理论进行更为深入的研究．经典的粗糙集理论是基于等价关系的,但现实数据中存在更多的相似关系．为刻画基于相似关系粗糙集理论,给出了公理组S,它含有3个公理．证明了公理组的可靠性,它表明了用所给公理组刻画基于相似关系粗糙集理论的合理性．同时还证明了公理组的极小性,即公理组中每条公理是粗糙不等式且各公理是相互独立的．这些研究有助于粗糙集理论研究的深入和完善．     

关于拓扑代数的一个定理的注记

书[1]中,曾证明如下的一个定理:凡是T_1-群都是T_2-群.若是把定理的条件放宽,则只要求所考虑的拓扑空间满足通常所谓分离公理T_0就够了.公理T_0 任意两个不同点中至少一个有一个邻域不包含另一点.现在来证明下面定理.定理 凡是T_0-群都是T_2-群.     

介于T21/2与T3空间之间的拓扑空间

在“分离性公理T0,T12,T1,T112,T2,T212,T3,T312,T4具有关系T4■T312■T3■T212■T2■T112■T1■T12■T0,反之不成立”的基础上,从定义出发,利用归纳法及连续函数的等价性研究“T3■T234■T212”,并给出两个重要反例,证明了T234空间的一些性质,使分离性公理更加完善.     

关于命题演算公理系统独立性证明的注记

对数理逻辑中命题逻辑公理系统独立性证明做了探讨，给出了算术解释的一种规律，并应用这种规则证明了３个命题演算公理系统的独立性。     

关于数学分析教学中的一些体会

章先讨论了数学的研究方法和数学分析所基于的公理系统，其次给出了有理指数乘幂的性质的证明。     

△^（B）中的混合与混合原理

文献[1]证明△^(B)是公理系统GB的布尔值模型，本文首先定义△^(B)中元素关于B的一个反链的混合；然后，证明△^(B)中的混合原理；最后，利用它证明△^(B)（B≠{0,1})也是公理系统QM的布尔值模型。     

基于Markov链的群体决策排序方法

本文根据决策个体关于选择方案的排序权向量，利用Ｍａｒｋｏｖ链的性质构造了一种求群体排序权向量，从而给出一种解决决策排序的方法。我们证明了此方法满足安全性、Ｐａｒｔｅｔｏ最优性、非独裁性等社会选择公理，在一定条件下，也满足独立性公理。在决策方案数和决策个体数不相等的情况时，本文通过引进虚拟决策方案或虚拟决策个体，使所构造的方法具有通用性。最后，本文给出一个数值例子以说明此方法的技巧和过程。     

一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

加权熵公理构成证明的新方法

对S.Guiasu在《Weighted Entropy)(加权熵)一文中提出的加权熵公理构成理论,进行了简化公理条件的严密的数学证明,并给出关于加权熵函数唯一确定性的一种新的证明方法。不仅简化了加权熵的公理条件和加权熵函数唯一确定性的证明过程,而且使加权熵的公理构成具有合理的物理含意,对改善加权熵公理构成理论具有一定的价值。     

关于非单位步长的紧优双环网络G（N；r，5）

双环网络是计算机互连网络或通讯系统的一类重要拓扑结构，其图论模型是指一个有向图G（N；r，S）；每个顶点记为0，1，2，…，N-1，并从每个顶点i发出两条有向边i→i＋r（mod N）和i→i＋s（mod N），其中r和S是自然数，且1≤r≠s〈N．若G（N；r，s）存在k紧优双环网络，G（N；1，s）存在k1紧优双环网络，且满足k1〉k，称G（N；r，s）为非单位步长双环网络．在L形瓦理论的基础上，给出一个求非单位步长双环网络的方法，求得两个关于模型G（N；r，s）的紧优双环网络无限族；结合中国余数定理和数论中的素数理论，给出一个求非单位步长双环网络无限族（k1-k≥1且k〉0）的方法；作为具体应用，求得两个非单位步长双环网络无限族（k1-k≥2且k〉0）．     

正N(≥4)边形不存在内接正N 1边形的证明

在《正多边形的内接相邻类正多边形》一文里,我们讨论了正 N(N 为≥4的自然数)边形不存在内接正 N 1边形的问题。对 N 为偶数的情形,证明并不困难;至于 N为奇数的情形,问题将转化为证明三角不等式