Los matemáticos han mostrado que hay muchas sentencias que no son ni demostrables ni refutables en la teoría de conjuntos de Zermelo-Fraenkel con el axioma de elección (ZFC), el sistema estándar de la teoría de conjuntos en matemáticas (asumiendo que ZFC es consistente); véase la lista de sentencias indecidibles en ZFC.