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

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

어떤 사실이 왜 참인가

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

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

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

문답법 교육, 간접적 증명

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

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

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

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

스토아학파의창설자

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

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

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

이진법

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

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

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

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

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

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