Given that turing complete systems are not total, you can actually derive anything, including falsehood, from them. The point being that a general 'turing compl

Given that turing complete systems are not total, you can actually derive anything, including falsehood, from them. The point being that a general 'turing complete' system is about as useful to use as the basis of mathematics as a banana. Category theory is not a great basis for mathematics, but at least it's not inconsistent.