수리논리학: 논리학에서 사용하는 명제들을 수학적인 기호로 표시하는 학문 Mathematical Logic UsagesCompleteness TheoremConsistent TheorySoundness TheoremModel TheoryProof Theory en.wikipedia.orghttps://en.wikipedia.org/wiki/Mathematical_logic