Comment by joe_the_user

I think the combination of Godel's completeness theorem and Godel's incompleteness theorem stakes out a position in between "truth absolutism" (everything certainly knowable etc) and "truth nihilism" (nothing is truly knowable with any certainty). Which I think is great. Thing, however, is that a lot of philosophers and mathematicians fall into one of these views of truth and so you see people constantly fighting, chaffing at the bit against, this middle ground, claiming it "satisfies nobody" etc. Well, it satisfies me quite a bit.