수학 논리는 수학의 한 분야이며, 그 연구 목적은 형태 이후의 기호 체계에 대한 두 가지 직관적 인 개념을 증명하고 계산하는 것이다. 수학 논리는 수학 기초의 필수 불가결 한 부분입니다. 수학 논리의 연구 범위는 수학적으로 모델링 할 수있는 논리의 일부입니다. 이전에는 상징 논리 (철학적 논리와 반대)라고도하며 메타 수학이라고도 알려져 있으며 후자의 사용은 이제 증명의 일부 측면으로 제한됩니다. ...
수학 논리는 "상징적 논리"라고도합니다. Narrow는 수학적 연역적 사고와 수학에 기초한 학문을 연구하기위한 수학적 방법의 사용을 나타냅니다. 광범위한 의미는 연역적 학습을 다루고 연구하기위한 모든 기호와 수학적 방법을 의미합니다. 그것은 수학의 한 분야이자 논리의 분야입니다. 수학 논리는 수학 연구 및 엔지니어링, 그리고 일반적인 사고의 일부 문제에 대한 효과적인 해결책에 매우 중요합니다.