RAMSEY

Récurrence ordinaire (définition par) :

TT NTSO AT IAE)

Récurrence transfinie : 117, 150.

Récurrente (fonction) : 117, 144-148.

Réductibilité (axiome de) : 59, 60, 105,

Réoléent (nombre) d’une propriété fugitive — Brouwer — : 36.

Résolvante (ensemble) — Lusin — : x9.

Restreinte (variable) : liée par Z : 133.

Richard (paradoxe de) : 6, 8