공리계라는 개념을 알아야 되고(대충 말하자면 우리가 당연하다고 생각하고 수학문제 풀때 쓰던걸 규칙(공리)으로 정리해놓은 시스템(계) )
또 엄밀한 증명이 뭔지 알기 위해서는 논리학을 배워야 되는데(술어 명제 어쩌구) 
솔직히 킹반인이 이거 배울 필요는 없음
나도 전공자 아니라서 과학고 다닐때 대충 주워들은 얘기가 다임
근데 수학자들 전기는 꿀죔이긴해 '현대수학의 아버지 힐베르트'이거 재밌으니까 봐라