> One counterargument takes off from the point that Lucas' argument assumes that any computational model of a mind must be consistent, and depends on a mind being able to establish its own consistency.

Which would obviously be false. There are clearly true theorems we will never be able to prove. Simply because we can prove many theorems that simpler formal systems cannot, entails nothing about our logical consistency or completeness.