틀:이산수학·수리논리학 라요 수 冪 혼합 계산 연속체 가설 대각선 논법 다가 함수 ZFC 공리계 미분귀신 바이어슈트라스 타원 함수 초한기수 거듭제곱 측도 집합 틀:수학기초론 과학/기호 닮은꼴 문자 군(대수학) 정적분 2