对于逻辑系统 L(w1,w)的 L-S型定理与H-型定理

本文得到了对于逻辑系统L(w1,w)的 L-S 型定理与 H-型定理.     

逻辑系统(谓词系统)L(w1,w)的(≤W1,infinite)-紧性

在这篇文章中我们提出并且证明了L(Wl,W)的(≤W1 infinite)-紧性.     

一些Sheffer型的运算

给出一些不同于Ｒ．Ｌ．Ｇ在１９６７年得到的Ｓｈｅｆｆｅｒ型的运算。     

逻辑系统Logical system L(infinite-ary; infinite∨∧, Qx,complete)(或者谓词系统L(≤w;≤w,Qx, complete))

在本文中,逻辑系统(或者谓词系统)L(≤w;≤w,Qx,complete)被提出,并且一些性质被证明     

一些集合的基数(Ⅲ)

在考虑数学中某些基本概念时,我们又得到了几个初步的结果: 设X是固定的集合且为无穷,f是域且为适当取定的、有无穷多个元素的域,在这样的条件下我们进一步假定,并命:     

两个数学问题

问题1.(1)、在通常的几何学、拓朴学、分形几何学中,根本不可能存在有“维数为负实数的几何图形”,因为按照已有老的定义,可以证明这一结论的。 (2)、在分形几何学中,人们已经知道:对于任意给定的非负实数α≥0,则一定存在有维数为α的几何图形。 (3)、可是至今为止,还没有人找到过“维数为任意预先指定的负实数的几何图形”。 (4)、已有的老的关于维数的定义是否有它的局限性?能否扩充已有的维数定义,     

一些集合的基数

X是集合,令T(X)={ψ:ψ∈X~X∧ψ是双射}。定义X上的等价关系R与S是同类的,且记为R～S,若存在ψ∈T(X)使得