Gödel's incompleteness results show that statements like GC may be undecidable within any consistent...