案例 2019-12-10 17:09:01
尤其集合论(其语言可数)有可数的模型,这个被称为Skolem佯谬,虽然它是真的(如果你接受集合论公理的话)。如果要知道为什么它被认为是佯谬,让我们考虑集合论中假设不可数集存在的句子-而这些句子在我们可数的模型中为真。特别的有,连续统假设要求考虑模型中的集合,它们从模型的内部看起来不可数,但对模型外的人来讲是可数的。
zhidao
文章:57 问答:0
Copyright 模型组 2006-2024 All Rights Reserved ICP证:蜀ICP备2023015644号-7
四川鑫众焱信息技术服务有限公司| 地址:绵阳市涪城区瀚威城市中心1栋1单元42层2号