힐베르트 에 의하 면 수학 의 본질 은 이 와 같이 어떠 한 전제 로부터 결론 을 유도 해 내 는 과정 그 이상 도 이하 도 아니 다 . 수학 은 전제 로부터 결론 을 유도 해 내 는 ' 과정 의 논리 적 정당 성 ( 즉 형식 ) ' 만 을 탐구 한다고 보 는 힐베르트 의 이러 한 수 학관 을 형식주의 ( formalism ) 라고 부른다 . 이러 한 형식주의 의 입장 에서 는 전제 를 구성 하 는 개념 체계 가 어떤 의미 가 있 느냐 ( 즉 그것 을 반영 하 는 실제 적 인 현상 이 있 느냐 ) 아니 냐는 것 은 물리학자 나 사회 학자 등등 의 탐구 대상 일 뿐 , 수학자 들 의 관심 대상 은 아니 다 .