Indica-se hoje com esse nome o discurso que se inicia com pequeno número de regras assumidas como premissas, e que sempre pode assumir como regra qualquer proposição deduzida daquelas premissas e em conformidade com as regras que elas prescrevem (v. axiomatização; convencionalismo). [Abbagnano]
sistema dedutivo
