[loicd]

> Systems of mathematics cannot be both complete and consistent

No. They can't be at the same times complete, consistent, decidable and powerful enough to express arithmetic. You can do complete, consistent and decidable though.