Вы даёте описание, свойство, а не определение. Нельзя получить, например, сложную непротиворечивую математическую систему, в которой утверждение о выводима формула, описывающая непротиворечивость этой системы. Но это не душа, хотя искусственно не получишь. Что есть душа? Я даже не прошу конструктивного определения, всего лишь полное - с вашей точки зрения, конечно.