FOL completeness theorem이랑.Godel's incompleteness theorem 증명 넘 어렵다 흑흑


first-order logic 기초 책들은
1. language L 정의
2. term in L 정의
3. formula in L 정의
4. proof in L 정의 (Hilbert's axiomatic deduction system, Gentzen's natural deduction system 등 여러 proof calculi 중 하나)
5. L-structure 정의
6. semantic of term in L-structure 정의
7. truth of formula in L-structure 정의
8. Soundness of proof calculi(4) 증명
9. Adequcy(or completness) of proof calculi(4) 증명
10. Compactness theorem 증명
11. Löwenheim–Skolem theorem 증명
12. Gödel's incompleteness theorems 증명
보통 이렇게 12 step을 밟는 것 같은데,

그리고 나서 model theory, proof theory, computability theory, set theory 중에 조금씩 더 첨가해서 +alpha로 배우는 것 같다

그런데 8-12가 내가 수학과가 아니라서 그런지 좀 어렵다 ㅠ

- dc official App