fbpx
维基百科

可替代的集合论

一般來講,可替代的集合论(an alternative set theory)是指建立集合概念的其它数学方法。它的正是作為標準集合論的替代而出現的。

一些可替代的集合论:

狹義地,可替代集合論(the Alternative Set TheoryAST)是指一種具體的集合論,它是在70年代至80年代之間由Petr Vopěnka和他的学生所發展的。此理論建立於半集合理论的某些想法上,但也引入了更加激进的改变:例如,在 AST 中所有集合都是「形式上」有限的,也就是說關於集合公式的數學歸納法成立(更精確地說,AST 中只和集合有關的那些公理,和ZF集合論是等價的。其中,無窮公理被它的否命題取代了)。但是這些形式上有限的集合中,有一些包含了不是集合的子類,這使之與康托所定義的有限集(ZF的有限集)有所不同。這些子類稱作AST中的無窮集(尽管一些是"非标准有限的"而外在的实际上无限的,还有甚至可以内在的是无限的)。

参见 编辑

引用 编辑

  • Vopěnka, P. Mathematics in the Alternative Set Theory. Leipzig: Teubner, 1979.

可替代的集合论, 此條目需要精通或熟悉相关主题的编者参与及协助编辑, 2011年1月22日, 請邀請適合的人士改善本条目, 更多的細節與詳情請參见討論頁, 一般來講, alternative, theory, 是指建立集合概念的其它数学方法, 它的正是作為標準集合論的替代而出現的, 一些, 半集合理论, 粗集合理论, 模糊集理论, 新基础集合论, 正集合论狹義地, 可替代集合論, alternative, theory, 是指一種具體的集合論, 它是在70年代至80年代之間由petr, vopěnka和他的学生所發. 此條目需要精通或熟悉相关主题的编者参与及协助编辑 2011年1月22日 請邀請適合的人士改善本条目 更多的細節與詳情請參见討論頁 一般來講 可替代的集合论 an alternative set theory 是指建立集合概念的其它数学方法 它的正是作為標準集合論的替代而出現的 一些可替代的集合论 半集合理论 粗集合理论 模糊集理论 新基础集合论 NF 正集合论狹義地 可替代集合論 the Alternative Set Theory AST 是指一種具體的集合論 它是在70年代至80年代之間由Petr Vopenka和他的学生所發展的 此理論建立於半集合理论的某些想法上 但也引入了更加激进的改变 例如 在 AST 中所有集合都是 形式上 有限的 也就是說關於集合公式的數學歸納法成立 更精確地說 AST 中只和集合有關的那些公理 和ZF集合論是等價的 其中 無窮公理被它的否命題取代了 但是這些形式上有限的集合中 有一些包含了不是集合的子類 這使之與康托所定義的有限集 ZF的有限集 有所不同 這些子類稱作AST中的無窮集 尽管一些是 非标准有限的 而外在的实际上无限的 还有甚至类可以内在的是无限的 参见 编辑非良基集合论 新基础集合论 正集合论引用 编辑Vopenka P Mathematics in the Alternative Set Theory Leipzig Teubner 1979 取自 https zh wikipedia org w index php title 可替代的集合论 amp oldid 76094095, 维基百科,wiki,书籍,书籍,图书馆,

文章

,阅读,下载,免费,免费下载,mp3,视频,mp4,3gp, jpg,jpeg,gif,png,图片,音乐,歌曲,电影,书籍,游戏,游戏。