#title Sets, Logic AND CATEGORIES
[[TableOfContents]]

Peter J. Cameron 저 이예찬, 신지수 역 신한출판미디어 2019.04.30

==== 개요 ====
형식 논리
 * 구문론: 어떠한 문자열이 논리식으로 여겨지는지? 
  * 정리: 어떠한 논리식이 '정리'인지 판별(다루어지는 체계 내에서 참인 진술을 나타내는 논리식)
 * 의미론: 주어진 논리식이 어떠한 의미를 가지는지?

일차 논리
 * 관계와 함수가 정의된 집합에 적용되는 논리구조
 * 일차 논리의 구조는 집합에 기초를 둠

카테고리 이론
 * 수학에서 중요한 것은 다루는 대상이 아니라 대상들 사이의 변환이라는 점에서 착안한 이론
 * 집합과 사상의 개념만으로 카테고리 이론을 전개할 수 있다.