It's interesting that contradiction, that is inconsistency, is a hint that a mathematical system does not model something in reality, because we don't want to believe such a thing can exist. But it is about as hard to work out the kinks of inconsistency from of a mathematical model as it is from ideology, law, ethics, and other such systems that we construct to guide our behavior. So I would say that METAmathematics has a lot to say about us and our ability to construct consistent systems-- it's really hard.

Freedom is one such example since it cannot belong to everyone when competing interests are at play. That might be a strange way to slice it though, since the language we use to describe freedom is probably not as well defined as we think.