— and i still have yet to complete one but i get the idea godel was mostly trying to formalize the statement that all languages powerful enough to make convinc8ng arg7ments for truth can also be used to express contradictory statements that break aguments unsure
he made 2 theorems maybe the second one says there is always a contradication too confusing to identify for sure or something
