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