체르멜로-프렝켈 집합론
즉, 이는 체르멜로-프렝켈 집합론+선택 공리로 증명하거나 반증할 수 없다.