집합론
체르멜로-프렝켈 집합론 + 결정 공리를 가정하면, ZFC에서 성립하지 않는 다음 명제들이 성립한다.