网站首页  情感咨询  情感美文  情感百科  情感生活  学习充电  旧版美文

请输入您要查询的百科知识:

 

标题 可构成集
类别 哲学
释义 可构成集     constructible sets

哥德尔为了证明选择公理和连续统假设与ZF公理集合论的相容性而提出的一个概念。假设L为任意个体域,∈为定义在M的元素间的关系。用L′表示由“L上的公式”A(x)所定义的L的子集的全体。所谓“L上的公式”,即它仅以L的常元为其常元,仅以∈作为其唯一的谓词符号,而且其变元的变化范围限于L。现在令L0=∅,Lα+1=L′α,若α为极限序数,则LαLβ。如果对某个x而言,存在序数α,使得x∈Lα,则称x为可构成集。

随便看

 

依恋情感网情感百科知识大全收录了49620条情感类百科知识词条,覆盖心理学、哲学、美学等领域,基本涵盖了日常生活中常见问题的详细解释,是情感生活的有利工具。

 

Copyright © 2002-2024 yiyi18.com All Rights Reserved
更新时间:2025/8/6 0:22:46