Sense Of

LOL WUT?

Gรถdelโ€™s theorems are making very narrow and specific points about what can be proven in formal axiomatic theories. They donโ€™t have any deeper meaning. They donโ€™t imply anything. Anyway, Tarskiโ€™s Undefinability Theorem would be better cited as an example here, not Gรถdelโ€™s theorems. And that would still be garbage.

This guy is a dumbass.