The most interesting outcome from Goedel's incompleteness is the study of alternative arithmetics [1]. And I don't mean ones that are progressively weaker, I mean ones that are incomparable and to which the same incompleteness theorems may not apply. For instance, Boucher's Arithmetic without the Successor Axiom.

[1] http://mathoverflow.net/questions/66776/alternative-arithmet...