If you are interested in where contemporary philosophy is in respect to Gödel's theorem you should check out Alain Badious work, who elaborates explicitly on the consequences of this set theory. As Steven said, apart from Badiou (who follows Lacan - the only man who actually tried to formalize psychology - exactly the mentioned "I want" part of sentence) there is little to non thought put to formalization in philosophy. Badiou is the best you can get.