Derivation is the process of tracing the origin or development of a concept, word, or mathematical expression. It often involves demonstrating a logical Proof from fundamental principles or understanding Etymology by tracing word formation. See also Logic Axiom Inference Linguistics