A system that can reason about itself but cannot derive contradictions must leave certain truths unp...