Comment by hyperion2010

Pretty sure the incompleteness theorem doesn't enable one to study things one cannot study. (eg imagine a logic for which one could not write down the axioms but was nonetheless 'consistent' by some external measure)