단지 기호만 익히는게 아니라
불완전성정리 그런것도 배움?
그런건 수학과에서 배우나