모델론

모델론 맛보기 [2]: 힐버트의 17번째 문제

본 글에서는 실수 순서체 및 닫힌 실체의 `한정기호 제거’를 사용하여, 어떻게 힐버트의 17번째 문제를 해결할 수...

모델론 맛보기 [1]: 한정기호 제거

수리논리학에는 크게 4가지 분야가 있습니다: 계산가능성이론computability theory, 모델론model theory, 증명론proof t...