In a deductive theory, any sentence which is a logical consequence of one or more of the axioms is also a sentence of that theory.
Në një teori deduktive, cdo fjali e cila është rrjedhojë logjike e një apo me tepër aksiomave përbërëse, është gjithashtu një fjali e kësaj teorie.