accessible ordinal

DÉMONSTRATION (THÉORIE DE LA) — La théorie de la démonstration est la logique de la logique. En contraste avec d’autres sous domaines tels que la théorie des modèles, les grandes questions qui ont tant passionné nos pères ont laissé une trace vivace dans cette discipline, qui… …   Encyclopédie Universelle

Infini — Le symbole infini Le mot « infini » ( e, s ; du latin finitus, « limité »), est un adjectif servant à qualifier quelque chose qui n a pas de limite en nombre ou en taille. Sommaire …   Wikipédia en Français

Théorème de Goodstein — En mathématiques, et plus précisément en logique mathématique, le théorème de Goodstein est un énoncé arithmétique portant sur les suites de Goodstein, des suites d entiers à la croissance initiale extrêmement rapide, et il établit (en dépit des… …   Wikipédia en Français

Von Neumann universe — In set theory and related branches of mathematics, the von Neumann universe, or von Neumann hierarchy of sets, denoted V, is the class of hereditary well founded sets. This collection, which is formalized by Zermelo–Fraenkel set theory (ZFC), is… …   Wikipedia

Boucle (informatique) — Structure de contrôle En programmation impérative, une structure de contrôle est une commande qui contrôle l ordre dans lequel les différentes instructions d un algorithme ou d un programme informatique sont exécutées. On appelle aussi cet… …   Wikipédia en Français

Boucle for — Structure de contrôle En programmation impérative, une structure de contrôle est une commande qui contrôle l ordre dans lequel les différentes instructions d un algorithme ou d un programme informatique sont exécutées. On appelle aussi cet… …   Wikipédia en Français

Branchement conditionnel — Structure de contrôle En programmation impérative, une structure de contrôle est une commande qui contrôle l ordre dans lequel les différentes instructions d un algorithme ou d un programme informatique sont exécutées. On appelle aussi cet… …   Wikipédia en Français

Do (instruction) — Structure de contrôle En programmation impérative, une structure de contrôle est une commande qui contrôle l ordre dans lequel les différentes instructions d un algorithme ou d un programme informatique sont exécutées. On appelle aussi cet… …   Wikipédia en Français

Else (instruction) — Structure de contrôle En programmation impérative, une structure de contrôle est une commande qui contrôle l ordre dans lequel les différentes instructions d un algorithme ou d un programme informatique sont exécutées. On appelle aussi cet… …   Wikipédia en Français

If (instruction) — Structure de contrôle En programmation impérative, une structure de contrôle est une commande qui contrôle l ordre dans lequel les différentes instructions d un algorithme ou d un programme informatique sont exécutées. On appelle aussi cet… …   Wikipédia en Français

Loop (instruction) — Structure de contrôle En programmation impérative, une structure de contrôle est une commande qui contrôle l ordre dans lequel les différentes instructions d un algorithme ou d un programme informatique sont exécutées. On appelle aussi cet… …   Wikipédia en Français