집합론의 모형은 도메인으로 모든 집합의 집합이 필요하잖아
근데 모든 집합의 집합은 불가능하니까 보통 클래스 모형을 사용한다고 하는데
여기서 말하는 클래스 모형이 NBG, MK 같은 이론에서 말하는 class로 도메인을 나타낸다는 의미임?
집합론의 모형은 도메인으로 모든 집합의 집합이 필요하잖아
근데 모든 집합의 집합은 불가능하니까 보통 클래스 모형을 사용한다고 하는데
여기서 말하는 클래스 모형이 NBG, MK 같은 이론에서 말하는 class로 도메인을 나타낸다는 의미임?
댓글 0