Gödel's results apply to undecidable propositions; complexity relationships may be decidable, so inc...
This proposition has not been edited since the history system was added.