1.2 Building Classes 0. Introduction 이제부터는 본격적으로 공리적 집합론(axiomatic set theory)을 시작한다. 1.1에서 “문장(sentence)”과 논리 연산을 준비했다면, 1.2에서는 이 논리 언어 위에 올려놓을 기본 대상을 정한다. 그 기본 대상이 바로 클래스(class)이다. 이 섹션의 핵심 목표는 다음과 같다. “클래스(class)”와 “원소(element)”를 정의 없이 기본 개념으로 받아들이기 “집합(set)”과 “진클래스(proper class)”의 구분 직관 잡기 클래스를 비교하는 기본 관계들: 동등(equal), 포함(subclass / subset) 정리..
'building classes' 태그의 글 목록