> If a type system is Turing complete, than it either has to be inconsistent or incomplete. How is Turing-completeness related to soundness? I am behind on CS

> If a type system is Turing complete, than it either has to be inconsistent or incomplete. How is Turing-completeness related to soundness? I am behind on CS theory, but what little I know about category-theory tells me this isn’t the case.