순서수 초한수 틀:이산수학·수리논리학 나무(순서론) 연속체 가설 교환법칙 소드 아트 온라인/설정 序 서수 굿스타인 정리 절대적 무한 서수(수학)/큰 가산서수 Slow-growing hierarchy Fast-growing hierarchy 효용함수 틀:수학기초론 초한기수 Ω 순서 관계 ZFC 공리계 수학과 0년 자연수 바쁜 비버 존 폰 노이만 범주론 수 체계