Kurt Gödel probó que la consistencia lógica de los axiomas de ZFC es indemostrable.