Prácticamente todos los teoremas matemáticos hoy en día se pueden formular como teoremas de la teoría de conjuntos.