Formally, if you have a set of axioms A, then a set of statements B are all said to be derived if they follow logically from statements in A. And further, a set of statements C are said to be derived if they follow from statements in A and B.
Search Encyclopedia
|
Featured Article
|