它也可以被理解做ZFC的定理: ZFC包含PA, PA可以讨论理论的编码和证明的编码, 所以我们可以在PA中证明...
也就是说任何集合都一定出现在某一层Vα中。而可以证明每个Vα都是传递集，即任意集合x∈Vα都满足x...
(大力推荐), 于是便不再打算添加重复的内容了. 有了splitting stationary sets的前置知识, 我们就可以证明一条比较深刻的定理: Reinhardt cardinals不存在. 本文介绍的是Woodin的证明, 记录在Kanamori第23章, 只用到了Solovay的splitting theorem和大基数embedding的知识. 不加证明的前置知识: ...
证明zfc无法证明的..设定以Y表示所有数的类,那么Y必然是ZFC无法指称的,用ZFC解释“所有数的类”本身无法指称,因为在ZFC隶属的形式系统中,无法对“所有”生效,所以ZFC是无法指称Y这个“所有数的类”,也就是说,Y在
从zfc公理到实数理论0:科普:zfc集合论公理系统的基本介绍,罗素悖论的解决。 21:45 从zfc公理到实数理论1:最基本的一些概念及其性质:包含、交集、并集、空集、笛卡尔积(序偶),映射(广义的函数),它们的概念以及它们无比基本的性质,介绍及证明。 40:42 从zfc公理到实数理论2:证明皮亚诺“公理”,在zfc公理系统...
从zfc公理到实数理论1:最基本的一些概念及其性质:包含、交集、并集、空集、笛卡尔积(序偶),映射(广义的函数),它们的概念以及它们无比基本的性质,介绍及证明。 不要收敛只要发散 446 0 从zfc公理到实数理论5:有理数构造的证明补充,序关系与加法乘法的联系,有理数集的阿基米德性质证明等。 不要收敛只要发散 209...
证明连续统假设 z..大师级别的直接看区间二四五区间一我依稀的认知中,我是被许多短视频长视频的科普、营销号滋养长大的。我以前是个农民,不算职业的。通过短视频了解到连续统假设。晓得一一对应、幂集、阿列夫基数。听说自然数是可数
听说配对公理可以通过..听说配对公理可以通过ZFC的其他公理进行证明?怎么证?关于类查了查,集合都是类,不是集合的类叫做真类那么如何弄一个公理类论?自己想了想,外延公理应该也适合类,很多集合论公理好像都可以移植到类论里面那么
5.假定存在一个有aleph_1间房间的Hilbert旅馆,你可以在ZFC中证明该旅馆无法住下以下哪类客人?全体自然数全体可数序数全体实数全体实变实值连续函数aleph_1上的全体二元关系三维欧氏空间中的所有点 相关知识点: 试题来源: 解析 我认为是全体自然数 分析总结。 假定存在一个有aleph1间房间的hilbert旅馆你可以在zfc中...
从zfc公理到实数理论9:总结:至今只用了zf公理(除了正则公理),已经构造了自然数、有理数、实数、复数等,介绍基本逻辑符号运算顺序。 不要收敛只要发散 从zfc公理到实数理论6:在有理数上构造实数,戴德金分割。 不要收敛只要发散 从zfc公理到实数理论5:有理数构造的证明补充,序关系与加法乘法的联系,有理数集的阿基...