===== SISTEMA DEDUTIVO =====
Indica-se hoje com [[lexico:e:esse:start|esse]] [[lexico:n:nome:start|nome]] o [[lexico:d:discurso:start|discurso]] que se inicia com pequeno [[lexico:n:numero:start|número]] de regras assumidas como premissas, e que sempre pode assumir como [[lexico:r:regra:start|regra]] qualquer [[lexico:p:proposicao:start|proposição]] deduzida daquelas premissas e em conformidade com as regras que elas prescrevem (v. axiomatização; [[lexico:c:convencionalismo:start|convencionalismo]]).

{{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}