论文部分内容阅读
本文分析讨论历史上的逻辑数学悖论在MS 中的解释方法.亦即我们将在这里证明一批引理和定理,借以指明历史上种种逻辑数学悖论均可在MS 中排除.其中包括过去在ZFC中无需解释的、著名的多值逻辑悖论和文[22]中给出的无穷值悖论.因而本文的结果表明,MS 在其相容性问题上的成效,相应地囊
中介公理集合论系统(Ⅵ)——逻辑数学悖论在MS中的解释方法
【摘 要】
：
本文分析讨论历史上的逻辑数学悖论在MS 中的解释方法.亦即我们将在这里证明一批引理和定理,借以指明历史上种种逻辑数学悖论均可在MS 中排除.其中包括过去在ZFC中无需解释的
【机 构】
：
空军气象学院,南京大学
【出 处】
：
自然杂志
【发表日期】
：
1986年12期
其他文献
用0.04%的秋水仙素溶液,处理分蘖盛期的浙皮1号植株,诱发产生农艺性状变异.然后通过对有益变异性状的选择、比较、鉴定,快速培育出丰产性明显优于亲本的二棱皮大麦新品种闽诱
家蚕白僵菌(Beauveria bassiana)是由巴西狄劳第(Bassi de Lodi)于1935～1939年最早发现的,并指出该病是由一种真菌侵染蚕体后,大量增殖的结果。到1946年费里门氏(Vuillemin)创
深矿开采中，涌水治理是一个重要的难题。文章介绍了铜山铜矿深矿工程的涌水经过，矿井的水文地质和工程地质条件。选择了浅孔探水注浆方案对涌水进行治理，获得了良好的效果。
当今世界,对材料性能的要求不断提高,随之相应的技术也日益翻新。在粉末冶金领域里,“机械合金化”应运而生,异军突起。如果说粉末热锻、热轧等热机械处理主要是对预成形坯的
位于陆地和海洋的交界,潮间带滩涂(tidal flat)既经受着各种诸如曝晒、霜冻、干燥和降雨等陆地极端气候,又承受着周期性涨潮水浸和退潮干燥,其环境条件变化的大幅度、高反差
肺心病是我国的一种难治性常见病。80%的肺心病患者有长期咳嗽、咳痰的历史。肺心病是因肺部疾患引起肺血管压力增高,使右心室压力随之增高,进而产生右心室扩张及肥
关于碱基、核苷和核苷酸与不同金属离子或其他化合物的络合反应已有不少报道.这些络合反应大致可分为三类:第一类是碱基与重金属离子如Hg2+、Ag+的络合反应;第二类是核苷、核
期刊