乐了家人们,就知乎那小丑是越来越多了,这位更是逆天,大基数定义你就照着抄都能抄错，还好意思发出来,也是独一份了

证明: 1:无穷公里在V_k中成立 当且仅当对于任意 ℵ_α⊂V_k彐ℵ_β(ℵ_α⊂ℵ_β⊂V_k) 如果这样的ℵ_β不存在,则β不是强极限的,他一定是某一个可以被有限的n表达出来的第n个阿列夫数,否则令他排在n个ℵ_c之后,如果还存在这样的ℵ_α,则其至少排在n+1个ℵ_α之后 由于ℵ_α⊂ℵ_β,则ℵ_α一定排在有限个ℵ_n之后,ℵ_c⊂ℵ_α的前提为ℵ_(α)=ℵ_(c+n) 但是由于ℵ_β也排在n个ℵ_c后,所以ℵ_β=ℵ_α,但ℵ_α⊂ℵ_β,矛盾 如果V_k不是强极限的,不存在这样的ℵ_α,但V_k是强

求助各位8u，谁能讲讲古典描述集合论最初创立时具体的历史（包括法国分析三巨头以及后面的一些波兰和苏联学派数学家的工作）

有交换律，结合律。 集合两次求补集，得到原集合：S=(S')'。 这个运算规则，叫啥名称？

定理“对集合A,B，若存在A到B的单射且存在B到A的单射，则A,B等势”被称为Cantor-Bernstein-Schroder定理。定理名称中提到的三个人分别与此定理有什么关系？谁首先证明了此定理？

rt

研究集合论的专家都有谁？

求求大佬

各位佬，可以帮忙看看这个证明过程有没有大问题吗（应该就是德摩根律的证明 ）字迹草率，还请佬见谅（新高一 勿喷）

对于每个非空集合S,可以把其中的元素"一个一个"地拿掉,最终S会变为空集

能否以非平凡初等嵌入临界点的形式定义马洛基数、弱紧基数、可测基数？如果能，请给出严谨的形式化定义。 问这个主要是想以形象的方式感知rank to rank基数有多大。

最近开始学集合论。 也被真类 搞住了。 到底真类的定义是什么？ 真类 自己是否属于自己呢？ 真类到底是元素 还是集合？ 元素和 集合 有区别吗？ 怎么理解。 总之有点混乱了。

有大佬知道0=1什么意思吗？

这个内模型太困扰我了，我知道的非常模糊

1. A并B=R 2. A交B=空集 3. 对于所有a属于A、b属于B，满足a<b 4. 不存在k属于R使得所有a属于A满足a<k且对于所有b属于B满足b>=k 5. 不存在k属于R使得所有a属于A满足a<=k且对于所有b属于B满足b>k

U0是否等于{x|真} 如果U0不是集合那么U0是一个类似于无穷大的概念吗，类似+∞大于所有实数但+∞不是实数，U0含有所有元素，包含所有集合但U0自己不是集合

这人就一小丑，用中国数学图书馆搜不到莱因哈特基数就说是编造，自己井底之蛙说大基数全是编造

怎么卓里奇《数学分析》里边的公理化集合论与百度的不一样？都是策梅洛-弗兰克尔公理系统，怎么公理名和内容都不一样？

真类：X是zfc的宇宙，a∈X则a为集合，a∉X且a包含于X则a为真类 世界基数:Vk为zfc模型，则k为世界基数 得到下一个阿列夫不动点的方法：设第一个阿列夫不动点为α，则第二个阿列夫不动点是以下序列的极限： 阿列夫α+1，阿列夫阿列夫α+1，... 容许序数：称序数a是容许序数，当且仅当La是kp的模型 莱因哈特基数与超级莱因哈特基数的区别：超级莱茵哈特基数允许嵌入点无限高 阿列夫函数：从序数类到V的函数，将每一个序数映射成对应的阿列夫数 奇异基

各位大佬，求解答

谁教我一下

不使用正则公理，对于集合A和B，能由AU{A}=BU{B}推出A=B吗？

现在看数理逻辑涉及到好多集合论的理论。 有人又说看集合论要先看数理逻辑。。

There is a choice function on any set of non-empty sets; i.e.

是这样的，学习数学道现在，有一个很早之前的问题一直没有得到解决，就是补集的符号到底该用哪个。 在高中数学必修一里，补集的符号是这样的：CuA，或CiA，C是符号（当然实际上是一个拉长版的C），下表u，i是全集的意思。 但是在同济高数，数学分析或离散数学等教材中，补集的符号又变成了A（右上角加一个上标C），这种符号我不太能搞清如果要强调全集是U的话，这个U要写在哪里呢，这是问题一，是否是和排列符号一样，C作为A的上标，U就

各位大佬，最近读论文的时候遇到了一些障碍，论文内容涉及到了一些集合论和图论的东西，文章里的描述我看不懂，数学符号也不知道是什么意思，希望有大佬能帮我指点一下。（不敢求大佬们能都帮我解释一边，即使能有大佬只帮我解释一下ΠF(t)是什么意思也感激不尽了）

谁能帮我解释一下罗素悖论，我查了很多资料，越看越懵逼

好蛋疼

正在看自然数这里，请问：若n，m属于N， 求证：n属于m 当且仅当 n是m的真子集。 这应该如何证明

如题，求bourbaki学派的《数学原本》，英文名是《Elements of Mathematics》的chapterⅡ“theory of sets”的电子版！

求 复旦大学出版社的 《集合论：对无穷概念的探索》 答案，有偿收购。

对于基数大于实数集的集合，良序化后，所有戴德金分割所成集的势是否等于原集合。 请问有大神能解答吗

求助各位大佬，这道题第一问答案是什么意思呀

#素朴集合论#求助大佬

这四道题怎么解呀 急急急！ 要纸质的步骤

听说配对公理可以通过ZFC的其他公理进行证明？怎么证？ 关于类 查了查，集合都是类，不是集合的类叫做真类 那么如何弄一个公理类论？ 自己想了想，外延公理应该也适合类，很多集合论公理好像都可以移植到类论里面 那么如何区分集合与真类呢？ 考虑概括公理∀a∃A(a∈V∧p(x)) 这里的V是所有集合构成的类，不过问题是没有事先的声明V是什么，这也是问题，不过可以考虑对于每个符号都按上∈V的要求或许就可以了，除了概括公理中的构造的新集

不存在这样的集合，集合由所有函数构成。如何证明

该疑问来自公理集合论导引 我的疑问是：贝尔卡为啥是小于Us的，我感觉是小于等于？ 坐等大神回答。

是否有前置要求？

有学霸证明作业题和红色字体吗 感觉自己写的过程不够严谨 请大神们赐教