Forcing, model theory, 괴델 불완전성 정리같은 내용들 너무 깊지 않게 다루는 책을 보고 싶어


교양 삼아 방학 때 잠깐 보고 싶은데 Jech를 다 읽긴 좀 부담되고.. 그것보단 가벼운 책 아는 거 있음 추천 받음


당연한 얘기일지도 모르지만 집합론/수리논리 전공할 생각은 없어


아님 그냥 Jech 적당히 발췌독하는게 낫나?