[atqtion]

> Are there any uses or applications for Gödel's theorems (other than their mere implications)?

Theorems are implications, so I'm not quite sure what you mean.

There are practical applications of Gödel's theorems, if that's what you mean.

His incompleteness theorems are useful for determining when to give up on a certain class of approaches toward a problem. I think this is what you meant by "implication", but the importance of this knowledge is difficult to over-state.

His completeness theorems form the groundwork for first-order theorem proving, which has plenty of practical applications.