나는 학부과목이 끝나고
기초론을 전공하려고하는 학부생입니다
모형이론이 몇몇 명제들이 zfc와 독립적임을 증명할때 유용하다
알고있다
실제로 궁금한것은 모형의 지식이 독립적이지않은 명제들의 (예 갈루아이론등) 구조에 대해 더 풍부한 관점을 제공합니까?
모형의 성질이 실제 증명에 영향을 끼칩니까
만약 그렇다면 어떤 것을 공부하는것이 적절한가?
이것에 대한 출처가  있습니까?