Definiçoes de brocardo, axioma e etc

Brocardo
Um brocardo (em latim: brocardus) é um princípio ou axioma jurídico, particularmente escrito em latim, e que expressa concisamente um conceito ou regra maior. A origem da palavra vem da latinização de Burckard, ou Burchard , o bispo de Worms, Alemanha, entre os anos de 1000 a 1025, e autor de uma compilação de vinte volumes de direito canônico chamada Regulae Ecclesiasticae (regras eclesiásticas), que incluíam diversas máximas e axiomas.
Por exemplo, a sentença Inadimplenti non est adimplendum ("A parte não precisa respeitar sua obrigação se a contra-parte não respeitar a que lhe cabe."), é usada no Direito Civil para resumidamente indicar um princípio (adotado em alguns sistemas jurídicos) concernente aos contratos sinalagmáticos (bilaterais).

Axioma

Na lógica tradicional, um axioma ou postulado é uma sentença ou proposição que não é provada ou demonstrada e é considerada como óbvia ou como um consenso inicial necessário para a construção ou aceitação de uma teoria. Por essa razão, é aceito como verdade e serve como ponto inicial para dedução e inferências de outras verdades (dependentes de teoria).
Na matemática, um axioma é uma hipótese inicial de qual outros enunciados são logicamente derivados. Pode ser uma sentença, uma proposição, um enunciado ou uma regra que permite a construção de um sistema formal. Diferentemente de teoremas, axiomas não podem ser derivados por princípios de dedução e nem são demonstráveis por derivações formais, simplesmente porque eles são hipóteses iniciais. Isto é, não há mais nada a partir do que eles seguem logicamente (em caso contrário eles seriam chamados teoremas). Em muitos contextos, "axioma", "postulado" e "hipótese" são usados como sinônimos.
Como foi visto na definição, um axioma não é necessariamente uma verdade auto-evidente, mas apenas uma expressão lógica formal usada em uma dedução, visando obter resultados mais facilmente. Axiomatizar um sistema é mostrar que suas inferências podem ser derivadas a