If is a set of Axioms in a first-order language, and a statement holds for any structure satisfying , then can be formally deduced from in some appropriately defined fashion.