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

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

公理与假说异同论——兼论数学科学与教育的特殊性

以历史上经典案例为证,阐述公理与假说在定义与应用中的异同,指出它们虽然都是科学发展的理论基础,起着对不同学科理论创建的奠基作用,但在初期二者命题设立的基础、内容接受的对象和理论发展的方式上有本质差异,并由此导致数学科学与数学教育有别于其他学科分支特殊性的表现,以及公理作为科学数学化趋势标志的原因．     

对曲柄铰链中心点之解域和非解域问题的讨论

关于平面曲柄摇杆机构,提出了一个性质公理.从已知摇杆长度和摆角的前提出发,提出并证明了曲柄固定铰链中心点A解域--可落脚区域、非解域--不可落脚区域的两个定理,得到了较为系统的研究结果.     

关于无穷集合概念的不相容性问题的研究

文中证明古典集合论与近代公理集合论中的任何一个无穷集合都是自相矛盾的非集。     

关于一类不定方程有解的一般性结论

用模型论的方法证明了一类不定方程a1xr11 a2xr22 ... anxrnn=bys(其中a1,...,an,b为任意整数,r1,...,rn,s为任意正整数)有解.进一步地,我们用相同的方法解决了一个猜想.     

关于T*拓扑空间的等价性及其性质的研究

在已有文献的基础上讨论了T*拓扑空间,首先讨论了T*与T1 1/2的关系:证明T*?T1 1/2,并举出反例说明其逆不一定成立。接着给出了T*与T1 1/2等价的一个充要条件,即若拓扑空间(X,τ)满足第一可数公理,则X是T*空间当且仅当X是T1 1/2空间。最后进一步讨论了T*拓扑空间的若干性质,即遗传性、拓扑不变性、但不满足有限乘积性。
     

浅谈中学几何公理系统

本文将采用近代公理法思想来分析中学几何（包括初中平面几何与高中立体几何）中所出现的公理，论述其公理系统，使读者能居高临下地领会大纲与教材，从而正确理解中学几何公理系统的结构、特点以及欠缺情况，用以指导中学几何的教学。     

T_1与T_2之间的两个分离公理

本文给出了T_1与T_2之间的两个分离公理,并讨论了它的某些性质.     

用收敛类描述第二可数公理

用由敛类刻划了满足第二可数公理的空间，并得到一个充要条件。     

决定性公理的逻辑分析

讨论公理集合论中的决定性公理的若干问题。即：⑴什么是决定性公理;⑵关于决定性公理的一些结果;⑶决定性公理和大基数之间的关系。