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.
Σε μια συνεπαγωγική θεωρία, οποιαδήποτε πρόταση είναι λογική συνέπεια ενός ή περισσοτέρων από τα αξιώματα είναι επίσης και πρόταση εκείνης της θεωρίας.