II

Ton 2 M5 0:

Complication (degré de) d’une démonstration — Gentzen — : 160.

Congruence (axiomes de) : 64.

Continu (problème et hypothèse du) : 0120:

Continuité (axiome de) : 69, 81.

Décision : 125, 130, 141, 171.

DEDEKIND : 47, 53-58, OI, 94-97, 100, 1707173:

Déduction (règles de) : ro17.

DEEN : 61-62.

Dénombrable ARR à

DESARGUES (théorème dt 67-71, 81.

DESARGUIEN (calcul) : 70-72.

Désintégration (méthode de) :

Diagonale (procédé de la) : 121.

e : (fonction) de Hilbert : 114, 157.

Effectif (notion de l’) -- Lebesgue — :

Effectuation (méthode d’) : 125.

Enumérable :ensemble) — Borel — : 9 Etendue (d’un quantificateur) : 107. EUCLIDE : 46, 52, 59-61, 63-64.

Explicite (définition) : 110.

Extension (axiome-schéma d’) : 110.

è F FERMAT (théorème de) : 08, 131.

Fil de démonstration : 102.

Fonction mathématique : 112.

INDEX

Formalisme radical — von Neumann — : 100.

Formules complètes : 107.

Formules partielles : ro.

Formules pourvues de sens : 1ox.

FRAENKEL : 60, 149, 164, 168.

FREGE : 47, 53, 50-60, 91, 96, 166, 168,

Fugitive (propriété) — Brouwer — :