Nombre réelEn mathématiques, un nombre réel est un nombre qui peut être représenté par une partie entière et une liste finie ou infinie de décimales. Cette définition s'applique donc aux nombres rationnels, dont les décimales se répètent de façon périodique à partir d'un certain rang, mais aussi à d'autres nombres dits irrationnels, tels que la racine carrée de 2, π et e.
Abraham RobinsonAbraham Robinson ( en Allemagne - aux États-Unis) est un mathématicien, logicien et un ingénieur en aérodynamique célèbre pour sa création de l’analyse non standard (1961), une théorie mathématique du calcul infinitésimal, qui rend rigoureux l'usage des infiniment petits et des infiniment grands introduit par Leibniz (vers 1690) et largement utilisé par Euler. La formalisation la plus usuelle du calcul infinitésimal, celle mise au point par les analystes du , évacue ces deux notions. Il reçoit la Médaille Brouwer en 1973.
Théorie des ensembles de Zermelo-Fraenkelvignette|L'appartenance En mathématiques, la théorie des ensembles de Zermelo-Fraenkel, abrégée en ZF, est une axiomatisation en logique du premier ordre de la théorie des ensembles telle qu'elle avait été développée dans le dernier quart du par Georg Cantor. L'axiomatisation a été élaborée au début du par plusieurs mathématiciens dont Ernst Zermelo et Abraham Fraenkel mais aussi Thoralf Skolem.
Analyse non standardEn mathématiques, et plus précisément en analyse, l'analyse non standard est un ensemble d'outils développés depuis 1960 afin de traiter la notion d'infiniment petit de manière rigoureuse. Pour cela, une nouvelle notion est introduite, celle d'objet standard (s'opposant à celle d'objet non standard), ou plus généralement de modèle standard ou de modèle non standard. Cela permet de présenter les principaux résultats de l'analyse sous une forme plus intuitive que celle exposée traditionnellement depuis le .
Infiniment petitLes infinitésimaux (ou infiniment petits) ont été utilisés pour exprimer l'idée d'objets si petits qu'il n'y a pas moyen de les voir ou de les mesurer. Le mot vient de infinitesimus (latin du ), ce qui signifiait à l'origine l'élément dans une série. Selon la notation de Leibniz, si x est une quantité, dx et Δx peuvent représenter une quantité infinitésimale de x. Dans le langage courant, un objet infiniment petit est un objet qui est plus petit que toute mesure possible, donc non pas d'une taille zéro, mais si petit qu'il ne peut être distingué de zéro par aucun moyen disponible.
Théorie des ensemblesLa théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du . La théorie des ensembles se donne comme primitives les notions d'ensemble et d'appartenance, à partir desquelles elle reconstruit les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes... C'est pourquoi la théorie des ensembles est considérée comme une théorie fondamentale dont Hilbert a pu dire qu'elle était un « paradis » créé par Cantor pour les mathématiciens.
