Download
Translate Files
search close
    https://lingvanex.com/translate/ Translate Text https://app.lingvanex.com/ Translate Files

    Axiome (en. Axiom)

    Translation into French

    Jankov logic (KC) is an extension of intuitionistic logic, which can be axiomatized by the intuitionistic axiom system plus the axiom[11].
    La logique de Jankov (KC) est une extension de la logique intuitionniste, qui peut être axiomatisée par le système d'axiomes intuitionniste plus l'axiome[11].
    Example taken from data source: wikimedia_v20210402
    Japan for the Japanese, one's own people first, or national preference is, for the Japanese, an axiom - and they are quite right.
    Le Japon aux Japonais, la priorité au pays propre ou la préférence nationale sont des axiomes pour les Japonais, et ils ont raison.
    Example taken from data source: EUbookshop_v2
    Axiom Multi Level: your new power!
    Axiom Multi Level: votre nouveau pouvoir!
    Example taken from data source: CCAligned_v1
    Trivial or zero vector space==The simplest example of a vector space is the trivial one: {0}, which contains only the zero vector (see axiom 3 of vector spaces).
    Espace vectoriel trivial ou nul ==L'exemple le plus simple d'espace vectoriel est l'espace nul {0}, qui ne contient que le vecteur nul (voir l'axiome 3. des espaces vectoriels).
    Example taken from data source: Wikipedia_v1.0
    7.4 Farming policy must espouse the above tenets and join with all other stakeholder groups in society to vigorously resist purely economic thinking, which is driven by the axiom of cheapest possible production even if this means the ruthless exploitation of the natural environment.
    7.4 La politique agricole doit faire siens les principes fondamentaux qui précèdent, s'associer avec tous les milieux sociaux intéressés et s'opposer fermement à un mode de pensée purement économique, ayant pour seul mot d'ordre la production à aussi bas prix que possible de denrées alimentaires, fût-ce au prix d'une exploitation abusive de la nature.
    Example taken from data source: EUbookshop_v2
    Nyikos proved that, under the so-called PMEA (Product Measure Extension Axiom), which needs a large cardinal, all normal Moore spaces are metrizable.
    Nyikos a prouvé que, sous le soi-disant PMEA (Product Measure Extension Axiom), qui a besoin d'un grand cardinal, tous les espaces normaux de Moore sont métrisables.
    Example taken from data source: wikimedia_v20210402
    The cases n > 2 can be proved using the axiom of pairing and the axiom of union multiple times.
    Les cas n > 2 peuvent être démontrés en utilisant l'axiome de la paire et l'axiome de la réunion appliqués de multiples fois.
    Example taken from data source: WikiMatrix_v1

    Synonyms