Sie suchten nach: axiomático (Portugiesisch - Englisch)

sistema axiomático
axiomatization

É axiomático. por que não nós mesmos?
it's axiomatic. why not us?

receio, senhor presidente, que isto seja mais axiomático do que provado.
i fear, mr president, that this idea is more of a slogan than a proven fact.

a matemática teórica consiste em um sistema axiomático e todos os seus teoremas.
a mathematical theory consists of an axiomatic system and all its derived theorems.

a aritmética de presburger é um sistema axiomático para os números naturais sob a adição.
presburger arithmetic is an axiom system for the natural numbers under addition.

o resultado não saberá quais proposições são teoremas e dessa maneira método axiomático é quebrado.
the result is that one will not know which propositions are theorems and the axiomatic method breaks down.

mais interessante, um sistema axiomático não precisa incluir a noção de "contradição".
more interestingly, an axiomatic system need not include the notion of "contradiction".

em 1922, adolf fraenkel e thoralf skolem melhoraram, independentemente, o sistema axiomático de zermelo.
in 1922, adolf fraenkel and thoralf skolem independently improved zermelo's axiom system.

* o conjunto de todas as sentenças demonstráveis ​​em um sistema axiomático efetivamente apresentados é um conjunto recursivamente enumerável.
* the set of all provable sentences in an effectively presented axiomatic system is a recursively enumerable set.

==consistência relativa==além de consistência, consistência relativa é também uma característica de um sistema axiomático.
== relative consistency ==beyond consistency, relative consistency is also the mark of a worthwhile axiom system.

na matemática, um sistema axiomático, é qualquer conjunto de axiomas que podem ser ligados em conjunção para derivação lógica de teoremas.
in mathematics, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems.

* exemplo: o conjunto das proposições verdadeiras alcançáveisoutro exemplo interessante é o conjunto das proposições verdadeiras alcançáveis em um sistema axiomático.
====example: the set of true reachable propositions====another interesting example is the set of all "true reachable" propositions in an axiomatic system.

a álgebra booleana, como uma estrutura axiomática no senso moderno de axiomático, começou em 1904 com o artigo de [edward v. huntington.
boolean algebra as an axiomatic algebraic structure in the modern axiomatic sense begins with a 1904 paper by edward v. huntington.

a ch é independente de zfc: ela pode ser provada ou não provada dentro do contexto deste sistema axiomático (considerando que zfc é consistente).
ch is independent of zfc: it can be neither proven nor disproven within the context of that axiom system (provided that zfc is consistent).

a constante "n" depende de como o sistema formal [e efetivamente representado, e assim não reflete diramente a complexidade do sistema axiomático.
the constant "n" depends on how the formal system is effectively represented, and thus does not directly reflect the complexity of the axiomatic system.

semântica axiomática
axiomatic semantics