Yeah, but the phrasing seems likely to mislead. It sort of implies that a Turing-complete type system can express all truths.