모임 (집합론): 두 판 사이의 차이

 

진모임은 집합이나 모임의 원소가 될 수 없으며, [[집합론]]의 [[ZF 공리계]]의 적용 대상이 아니다. 따라서, [[소박한 집합론]]의 여러 역설은 더이상 발생하지 않는다. 그 대신 이 역설들은 특정한 모임이 진모임이라는 증명이 된다. 예를 들어, [[러셀의 역설]]은 자기 자신을 포함하지 않는 모든 집합들의 모임이 진모임임을 증명하며, [[부랄리-포르티 역설]]은 모든 서수의 모임이 진모임임을 증명한다.

 

[[분류:집합론]]