논리학에서 사용하는 명제들을 수학적인 기호로 표시하는 학문Mathematical Logic NotionConsistent TheoryAxiomProofStatementTheoremAssumptionConclusionCorollary Mathematical Logic Usages en.wikipedia.orghttps://en.wikipedia.org/wiki/Mathematical_logic