내가 비전공자에 고등학생 킹반인이라서 잘못 알고 있을 수 있고 그런거 있으면 지적좀


유클리드 원론에서 나오는 공리체계 있잖아. common notion 하고 postulate로 이루어진 논리 체계말이야.

그건 수학이라고 분류해 논리학이라고 분류해? 내가 봤을때는 논리학의 범주고 이를 이용해 수학을 만든거같은데 정확히 알 도리가 없어서 여기에 묻게 되었어.