HUNTINGTON

HUSSERL : 33, 105.

: (terme russellien) : celui qui : z117.

Idéaux (adjonction d’) : 96-99, 101.

Incidence (axiomes d’) : 64, 68, 81.

Indépendance (de sens et d’affirma- TOR) EAST Individu (en logique) : 105.

Induction complète (métamathématique) : 128, 135. É j Induction complète (axiome élémentaire d'EATrr "127, UTAI-143;.

Induction complète (axiome général d’):

TT AO 48 Le Induction complète transfinie (axiome CNIL 7 à Indise ‘fonction d’) faisant correspondre à tout système d'individus substitué aux variables restreintes (générales) situées dans l'étendue d’une variable générale (restreinte) un in-

dividu substituable à cette variable :

Intersection (schéma logique de l’} — Gentzen — : 158.

Intersection (formule d’) — Gentzen — : 158,160.

Trréductible (système) — Tarski — :

Isomorphie (de modèles satisfaisant à des systèmes d’axiomes) : 84.