Q:

If a system is complete, must it be inconsistent?

Godel's incompleteness theorem basically says that a set of axioms cannot prove everything. But you can add those unprovable truths to your set of axioms to expand it. Suppose you keep expanding your set of axioms until it contained all truths (which I think isn't possible in finite time). Or suppose somehow, you had a complete set of axioms. Would it necessarily be inconsistent, because if it wasn't, then it would be consistent and compete?

A:

Yes, you could have a system $S$ in which all propositions that are true in $S$ are axioms of $S$. The system $S$ is then, by definition, complete.
If $S$ is powerful enough to represent all the truths of the arithmetic of natural numbers then we know there are an infinite number of such true statements, so $S$ must have an infinite number of axioms.
But then you cannot be sure that $S$ is consistent because there is no effective decision procedure (a procedure that always halts eventually) that can show that $p$ and $\lnot p$ are not both axioms of $S$.

