Before revision: Any logical system that is rich enough to contain elementary arithmetic contains at least one proposition whose interpretation is " this proposition is unprovable " (from within the logical system concerned), and hence no such system can be both complete and consistent.
After revision: Any logical system that is rich enough to contain elementary arithmetic contains at least one proposition whose interpretation is this proposition is unprovable (from within the logical system concerned), and hence no such system can be both complete and consistent.