This is a great post. I never thought I'd run into anyone discussing Gödel on Steemit, but here it is. Gödel is actually one of the core reasons that sparked my interest in logic. I should be thanking him, but I also feel so much hatred for those two theorems. Sometimes, it feels like we're fighting ourselves, cough Quine, Wittgenstein, etc. cough But that's what philosophy is about!
I would say more, but I don't want to accidentally slip and make too smart or big of a metalogical claim. So I'll leave it at that. Thanks for the post!