论文部分内容阅读
在中介公理集合论系统中重新定义了良集的概念，讨论了它的性质，证明良集完全满足经典满足经典公理集合论系统的全部公理，且其配套的逻辑系统恰为中介的二值子系统ＦＭＬ，说明整个经典数字也能奠基于ＭＳ之上，从而最终回答了中介数字与经典数学的包含关系问题。
中介公理集合论系统与经典公理集合论系统的关系——形式证明部分
【摘 要】
：
在中介公理集合论系统中重新定义了良集的概念，讨论了它的性质，证明良集完全满足经典满足经典公理集合论系统的全部公理，且其配套的逻辑系统恰为中介的二值子系统ＦＭＬ，说明整个经典数
【机 构】
：
南京航空航天大学计算机科学与工程系,南京建筑工程学院基础部
【出 处】
：
南京航空航天大学学报
【发表日期】
：
1997年4期
其他文献
弥散性血管内凝血是多种疾病处于危重状态的一个病理学环节，以微循环障碍，广泛出血及全身脏器功能衰竭为主要临床表现，病情凶险，病死率高。如果治疗不及时或不正确，则可导致多脏器
根据固定转速离心式压缩机喘振工况发生的原因。从喘振工况的控制流程、各种流程对不同工况的实用性、优缺点以及喘振控制系统的仪表、阀门选择等方面。对离心压缩机喘振控制
为了建立一个体育课与健康理论相融合的新型“体育-健康课程模式”，并对其实验效果进行研究，根据学生对《大学生健康常识知晓顺序问卷》结果，在大学一、二年级体育课内设计相关
甘肃省的传统春节旅游线路按地域特点分为三条：西线的河西走廊历史文化线，南线的临夏、甘南民族文化线，东线的陇南、陇东民俗文化线。
目的探究中枢神经细胞瘤CT和磁共振成像(MRI)检查的影像学特征及其诊断准确率。方法本次研究中的45例中枢神经细胞瘤患者入院时间为2017年3月~2018年4月,入选患者经过病理诊
FLT3属于Ⅲ型受体酪氨酸激酶（RTK），是急性髓细胞眭白血病（AML）最易发生突变的基因。近年来研究发现，FLT3基因的突变、过度表达与急性髓细胞性白血病的发生和预后评估密切相关，以FLT3
过敏性紫癜（anaphylactoid，AP）是儿童及青少年常见的免疫性血管疾患。常规给予活血化瘀、抗感染、肝素抗凝、使用抗组胺药，必要时予禁食、使用解痉剂等治疗。对重型及迁延型AP患
在篮球比赛过程中,篮球战术意识非常重要,对于比赛结果有直接的影响。篮球战术意识是一名篮球运动员必须具备的能力,现在,篮球的竞技性与娱乐性吸引了很多少年参与,而此时期
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
<正>课堂是闪耀师生智慧的场所。我们时常能从课堂教学中捕捉到师生智慧生成的光芒。而作为教师,在课堂中能准确捕捉到学生的智慧生成,也就能有效地掌控课堂,使学生的情感得
会议