대수학
대수학이란 용어는 학생 또는 전문 수학자에 따라, 다음 2가지 중 하나의 의미를 가진다. 학교 대수는 중학교와 고등학교에서 배우는 대수를 말하는 것으로, "산술"이라고도 하며, 문자를 이용해 수의 관계, 수의 법칙등을 연구하는 학문이며, 방정식이나 함수, 그래프등이 포함된다. 그러나 수학자들은 군, 환, 불변량 이론과 같이, 수 체계 및 그 체계 내에서의 연산에 대한 추상적 연구와 관련해서 "대수학"이라는 용어를 자주 사용한다.
괴델의 불완전성 정리
힐베르트는 연역적인 체계를 형식화하려고 했다. 여기서 "형식화"란 체계 내의 표현식들의 '의미'를 제거하고 기호들의 연쇄체로 표시하는 것이다. 이 작업을 위해 힐베르트는 "수학"과 "초수학"을 구분했다. "초수학적 진술"이란, 메타 수학, 즉, 수학에 대한, 수학을 설명하는 언어에 속하는 것이다. 체계 안에서 사용된 부호에 대한 진술일 수도 있고, 체계 그 자체에 대한 진술일 수도 있다. 예를 들어 "1+1=2"는 수학에 속하는 것이지만, "'1+1=2'는 산술 공식이다."는 초수학에 속한다. "산술에 대한 이론 체계가 무모순이다." 또는 괴델의 불완전성 정리의 함축 같은 것도 모두 초수학에 속하는 것들이다.