弗协调相关论文
在经典命题逻辑的系统内,增加一个一元算子＊,通过定义引入两个一元算子2和△,可以建立一个经典命题逻辑的扩充系统——哲思逻辑系统......
弗完全逻辑P1是一种允许一个命题及其否定可以同时都为假的逻辑系统，即在该逻辑系统中一般意义的排中律将不再有效。文章在给出的标......
集合论的概括(抽象)原则说的是,对于任意的性质或条件恰好存在一个由满足这个性质或条件的对象组成的一个集合,康托尔的朴素集合论......
公理化集合论建立新的公理限集合形成原则，成功地拯救了朴素集合论。这一方法极大地推动了集合论的发展，并且为经典数学奠定了基础。......
