이진법

증명을 통해 기하학적 지식을 논리적으로 체계화

어떤 주장이 한 모순을 일으킨다면 그것이 무효

스토아 학파를 따랐으며 실질적 함축의 창시자

현대적 형식 논리학 고안, 정식화된 공리 체계(모든, 어떤) 도입

기초논리학의 완전성 증명, 고차 논리학의 불완정성 증명

A는 B이다,술어들의 수를 모든, 어떤과 같은 집합의 원소로 재표현

이분법적 논리에서 벗어나 중세 보편 논쟁의 한계를 극복, A는 B이다

어떤 사실이 왜 참인가

스토아학파의창설자

소크라테스의 제자, 차원 제시, 논리학의 아버지(논리학이 학문으로 자리잡게)

집합론의 기초, 연속체 가설

프레게의 논리적 모순을 발견하고 비일관성을 피하기 위해 유형이론을 사용하여 논리학으로부터 수학을 이끌어내는 프레게의 프로그램을 성취시킨 사람

러셀의 제자로, 수학이 단지 항진명제임을 밝힘, 진리표 제작

삼단논법, 공리체계, 형식 논리학의 선구자

역설(모든 만물은 정지해 있다.), 변증술 최초 사용

정리는 증명에 의해 oo하게 전개한 것

이성적 주장을 통해 진리를 확립하고자 하는 주제에 대해 서로 다른 견해를 가진 두 명 이상의 사람들 사이의 담론으로 모순을 통해 진리를 찾는 철학적 방법

철학의 아버지, 최초의 논리적 기하학 전개, 피라미드 높이 측정으로 논리적인 추론 증명

참 그리고 거짓이 아니라 결정할 수 없다라는 수학적 명제도 존재한다

어떤 명제가 참이라는 것을 보여주는 것

문답법 교육, 간접적 증명