PROVABLE in French translation

• prouvable
• démontrable
• avérées
• prouvée
• éléments de preuve
• prouvables
• démontrables

Examples of using Provable in English and their translations into French

Of course, if a statement is formally provable from given axioms then it remains true in all universes satisfying these axioms;
Bien sûr, si un énoncé est formellement prouvable à partir d'axiomes donnés alors il reste vrai dans tous les univers satisfaisant ces axiomes;

The order extension principle is constructively provable for finite sets using topological sorting algorithms, where the partial
Le principe d'extension d'ordre est démontrable de manière constructive pour des ensembles finis à l'aide d'algorithmes de tri topologique,

This concept of provable universal truth will be used as a rule of proof for ordinary variables(principle of Universal Introduction in 1.9)
Cette notion de vérité universelle prouvable sera utilisée comme une règle de preuve pour les variables ordinaires(principe d'introduction universelle,

in connection with the reimbursement for provable loss.
de remboursement des pertes avérées.

is therefore provable as a theorem(in ZF,
est donc démontrable en tant que théorème(dans ZF,

the abandonment orders constituted provable claims within the meaning of the BIA
les ordonnances d'abandon constituaient des réclamations prouvables, au sens de la LFI,

Communications implementing decree No. 50/98 Coll. on a provable loss.
en application du décret no 50/98, relatif aux pertes avérées.

of the BIA, upon the bankruptcy of a debtor, a creditor is stayed from pursuing a claim provable in bankruptcy until the trustee is discharged.
un créancier ne peut intenter une action relativement à une réclamation prouvable en matière de faillite jusqu'au jour de la libération du syndic.

It is a medical application of the concept that ideal beauty might be a universal notion, provable by the mathematical concept of"phi"(the golden ratio)
Il s'agit de l'application médicale du concept selon lequel la beauté idéale pourrait être une notion universelle, démontrable par le concept mathématique de"phi"(le nombre d'or),

M7 are provable.
M7 sont démontrables.

has property in Canada, whose liabilities to creditors provable as claims under the Act amount to $1000
dont les obligations constituant à l'égard de ses créanciers des réclamations prouvables aux termes de la Loi s'élèvent à 1 000$

associations of communities with reimbursement for provable loss being paid from communities' budgets.
le remboursement des pertes avérées étant alors financé par les communes, sur leur propre budget.

This is a conservative extension of ZFC: every provable statement of this extended theory that can be stated in the language of ZFC is already provable in ZFC Fraenkel, Bar-Hillel& Levy 1973, pp. 72.
C'est une extension conservatrice de ZFC: tout énoncé ne faisant pas intervenir le symbole τ et qui est démontrable dans cette extension est démontrable dans ZFC Fraenkel, Bar-Hillel& Levy 1973, pp. 72.

actions are provable.
les mesures prises sont démontrables.

the inadequate reimbursement of the provable loss is cumulated as an accounting loss.
les remboursements insuffisants de pertes avérées sont cumulés sous forme de pertes comptables.

it leads to explosion(i.e. everything becomes provable) and paraconsistent logic tries to avoid explosion and to be able to reason with contradictions.
en combinaison avec d'autres règles logique, elle conduit à une explosion à savoir, tout devient démontrable.

This means it is possible to algorithmically determine, for any sentence in the language of Presburger arithmetic, whether that sentence is provable from the axioms of Presburger arithmetic.
Cela signifie qu'il existe un algorithme qui détermine si un énoncé du langage de l'arithmétique de Presburger est démontrable à partir des axiomes de l'arithmétique de Presburger.

it possibly possesses immortality, but that is not provable and may not be posited as a fact.
ce fait ne peut pas être prouvé et ne peut être avancé comme tel.

Specifically, his claim that the sacred is a structure of human consciousness is distrusted as not being empirically provable:"no one has yet turned up the basic category sacred.
Est mise en cause en particulier, comme étant indémontrable empiriquement, la thèse d'Eliade selon laquelle le sacré est un élément structurel de la conscience humaine:« nul jusqu'ici n'a réussi à ramener au jour cette catégorie de base qu'est le sacré».

The Mechanism concludes that Limo Diamonds has provable links with the illicit diamond trade in Angola,
L'Instance conclut que Limo Diamonds a des liens qui peuvent être prouvés avec le commerce illicite des diamants en Angola