So in layman's terms you're saying the system the author tries to prove incomplete by definition removed the parts that would prove it's inconsistent?