집합론
모스-켈리 집합론() 역시 ZFC의 무모순성을 증명할 수 있어 ZFC보다 더 강한 이론이다.