Gödel's Theorem: An Incomplete Guide to Its Use and Abuse