théorème d'élimination des coupures

concept théorème de logique

Aussi : Hauptsatz de Gentzen

Nature : théorème

Catégories : théorèmes · concepts mathématiques · sciences · concepts abstraits

Mots du lexique : théorème nom commun

Wikidata Q376166 · Wikipédia