Godel's incompleteness theorem says that in mathematics there will be always true statements that cannot be proved and that adding that statement as a axiom generates other unprovable true statements.
So, mathematics clearly has logical inconsistencies. I was wondering if it it is possible to find a language that doesn't satisfy Godel's incompleteness theorem or, to put it more simply, such that all its true statements are provable?
On
"Godel's incompleteness theorem says that in mathematics there will be always true statements which cannot be proved." Not quite. It says that in a given particular theory $T$, assuming $T$ is consistent, is recursively axiomatized and contains enough arithmetic, then there will be sentences undecidable by $T$. (But that doesn't rule out some other theory being able to give a verdict on that sentence. Peano Arithmetic, for example, can't decide $G_{PA}$, a canonical Gödel sentence for PA. But that doesn't rule out our being able to prove the truth of $G_{PA}$. Every textbook presentation of Gödel's theorem does just that!) "So mathematics clearly has logical inconsistencies." Why on earth think that follows from Gödelian incompleteness ... which, for a start, only applies to consistent theories $T$?
It may be that mathematics is in some sense inexhaustible (whatever conglomation of theories we so far endorse, there will be truths that escape the deductive reach of these theories). But inexaustibility isn't inconsistency.
A clear presentation of Gödel's theorems should disabuse you. There are some good ones recommended in the Beginning Mathematical Logic Study Guide.
On
Have you ever heard of the engineer's trilemma? Good, fast, cheap: pick two. Gödel's incompleteness theorem is basically the mathematician's equivalent. Constructive, consistent, complete: pick two.
If a mathematical system is constructive (it can do all the math we want) and consistent (there are no contradictory proofs), it cannot be complete (there are statements we cannot prove either true or false). If it's constructive and complete, it cannot be consistent (for some of the statements we can prove true, we can also prove them false). And if it's consistent and complete, it cannot be constructive (there is math we simply cannot do without introducing either inconsistency or incompleteness).
The reason many learners stumble over this is because they don't realize that "constructive" and "complete" are two different things. A weak, "inconstructive" mathematical system is incomplete in the lay sense of the word - it cannot do things we would consider mathematics - but not in Gödel's - every statement we can state within the system, we can prove either true or false within the system, sometimes both (just because we can pick two, doesn't mean we must).
That "within the system" is important: We can still determine the truth or falsity of a statement in, say, Peano arithmetic by looking at its equivalent in, say, ZFC set theory, which is a stronger, "more constructive" system, but that doesn't make PA complete. The two systems are independent.
PS: "Constructive" is my own term, chosen for the alliteration. The usual term is "strong", but that's incredibly vague.
Your understanding of Godel's incompleteness theorem is incorrect. In short, Godel stated: for any formal system capable of arithmetic no weaker than Robinson arithmetic, if that system is consistent, then it will always possess true statements that cannot be proven AND it will be unable to prove its own consistency.
This does not imply that mathematics "clearly has logical inconsistencies" as you say. You seem to be confusing the existence of unprovable statements with inconsistency when in fact they are two distinct concepts. An example of a logical inconsistency is two proofs, one showing some statement $P$ is true while the other shows that $P$ is false. This is very different than there being a statement $P$ for which no proof exists. It may very well be the case that our mathematics is perfectly consistent. However, if that were true, then there would be no mathematical proof to show it and mathematics would be plagued with annoying "Godel statements" for which proofs don't exist.
To answer your last question, yes, it is possible to construct a formal, mathematical system that is both consistent (i.e. free of contradictions) and complete (i.e. all statements are provable). However, that system would have to be connected to a some arithmetic weaker than Robinson arithmetic. For instance, Presburger arithmetic is provably consistent and complete, but it lacks the expressive power to perform multiplication. If you want a formal system capable of Robinson arithmetic or something stronger, then the answer to your question is no. If you managed to construct such a system that was complete, Godel's theorem tells us it would necessarily be inconsistent.
So, when it comes to formal systems connected with Robinson arithmetic (or something stronger), you cannot have both consistency and completeness. Any such system will either have annoying contradictions or annoying statements with no proof.