Let be a set of First-order predicate Logic axioms. Let be a Sentence We say that is independent of if: Example Let be the set of axioms of Fields with Characteristic of a ring 0. Define Then is independent of because: