| 1. | Given such paradoxes, mereology requires an axiomatic formulation.
La méréologie nécessite donc une formulation axiomatique. |
| 2. | Kupiainen works on constructive quantum field theory and statistical mechanics.
Kupiainen travaille en théorie quantique des champs axiomatique et mécanique statistique. |
| 3. | A common attitude towards the axiomatic method is logicism.
Une position commune à l'égard de la méthode axiomatique est le logicisme. |
| 4. | A theory consists of an axiomatic system and all its derived theorems.
Une théorie consiste en un système axiomatique et tous ses théorèmes dérivés. |
| 5. | An axiomatic system that is completely described is a special kind of formal system.
Un système axiomatique complet est un type particulier de système formel. |
| 6. | In fact in an axiomatic setting rigorous adds nothing to the idea of proof.
En fait, dans un cadre axiomatique, le rigoureux n'ajoute rien à l'idée de démonstration. |
| 7. | Chwistek argued against the axiomatic method by demonstrating that the extant axiomatic systems are inconsistent.
Chwistek démolit la méthode axiomatique en démontrant que les systèmes axiomatiques existants sont inconsistants. |
| 8. | A formal theory typically means an axiomatic system, for example formulated within model theory.
Une théorie formelle signifie généralement un système axiomatique, par exemple formulé dans la théorie des modèles. |
| 9. | I fear , mr president , that this idea is more of a slogan than a proven fact.
je crains que ceci , monsieur le président , soit davantage axiomatique que prouvé. |
| 10. | An axiomatic system will be called complete if for every statement, either itself or its negation is derivable.
Un système axiomatique est dit complet si toute proposition, ou sa négation, est dérivable. |
