网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
哥德尔为了证明选择公理和连续统假设与ZF公理集合论的相容性而提出的一个概念。假设L为任意个体域,∈为定义在M的元素间的关系。用L′表示由“L上的公式”A(x)所定义的L的子集的全体。所谓“L上的公式”,即它仅以L的常元为其常元,仅以∈作为其唯一的谓词符号,而且其变元的变化范围限于L。现在令L0=∅,Lα+1=L′α,若α为极限序数,则Lα=Lβ。如果对某个x而言,存在序数α,使得x∈Lα,则称x为可构成集。
依恋情感网情感百科知识大全收录了49620条情感类百科知识词条,覆盖心理学、哲学、美学等领域,基本涵盖了日常生活中常见问题的详细解释,是情感生活的有利工具。