체르멜로-프렝켈 집합론
집합론에서, 큰 기수(큰基數, )는 집합론의 표준적인 공리계(선택 공리를 추가한 체르멜로-프렝켈 집합론)로는 그 존재를 증명할 수 없는 매우 큰 기수이다.