형 이론

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

형 이론수학, 논리학 그리고 컴퓨터 공학에서 유연한 집합 이론 (naive set theory)의 대안적인 형식 시스템 혹은 형식 이론 관련 연구 분야를 의미한다.

같이 보기[편집]