Существует старый максимум, который говорит, что две империи, которые слишком большие, рухнут. Аналог в теории набора заключается в том, что две разные теории, которые слишком сильны, должны обязательно противоречить друг другу.