2
형식 이론에서 유한 집합 이론의 형식화
대부분의 교정 보조원은 "유한 세트"개념을 공식화했습니다. 그러나 이러한 형식화는 크게 다릅니다 (그러나 모두 본질적으로 동일하기를 희망하지만). 이 시점에서 내가 이해하지 못하는 것은 관련된 디자인 공간과 각 공식화의 장단점입니다. 특히 다음을 이해하고 싶습니다. 간단한 유형 이론에서 유한 세트 (즉, 유한 한 수의 주민이 거주하는 유형)를 축약화할 수 있습니까? 시스템 F? 이 …