 All in all, formal provability is a precisely defined concept, much more so than truth and knowledge. Thus,  self-reference  within the scope of provability does not lead to semantic paradoxes like the Liar. Instead, it has led to some of the most important results about mathematics, such as Gödel’s incompleteness theorems.