论文部分内容阅读
证明了关于自然数集={1，2，3，…}的Peano公理系统中的第五条公理（即数学归纳原理）乃该系统中其余公理的逻辑推论.因之，可将它自该系统中删去而仅把它作为一个重要定理以优化该系统.
一个关于Peano公理的注记（续）
【摘 要】
：
证明了关于自然数集={1，2，3，…}的Peano公理系统中的第五条公理（即数学归纳原理）乃该系统中其余公理的逻辑推论.因之，可将它自该系统中删去而仅把它作为一个重要定理以优化该系统.
【机 构】
：
内江师范学院数学系
【出 处】
：
内江师范学院学报
【发表日期】
：
2007年4期
其他文献
给出THeyting代数中模糊滤子的定义，并研究了它的一些性质，运用Heyting代数中经典滤子的一些性质以及模糊集的截集和强截集得到THeyting代数中的一些模糊集成为模糊滤子的等价