Non-Gödel Negation Makes Unwitnessed Consistency Undecidable