noun The formal description of the process of such generation. noun Logic & Mathematics A logical or mathematical process indicating through a sequence of statements that a result such as a theorem or a formula necessarily follows from the initial assumptions. from The Century Dictionary. noun A ...