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