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.
Théorie des twisteursLa théorie des twisteurs, introduite par Roger Penrose dans les années 1970, ou plus précisément de « particules » se déplaçant à la vitesse de la lumière. Pour décrire un point de l'espace temps, la théorie imagine tous les rayons lumineux qui parviennent à ce point. Un paramètre doit par ailleurs être ajouté aux rayons lumineux : une hélicité. Finalement l'espace considéré et qui encode l'espace-temps, est de .
Cardinal inaccessibleEn mathématiques, et plus précisément en théorie des ensembles, un cardinal inaccessible est un cardinal ne pouvant être construit à partir de cardinaux plus petits à l'aide des axiomes de ZFC ; cette propriété fait qu'un cardinal inaccessible est un grand cardinal. Un cardinal infini א est : soit א0 si α = 0 ; soit limite (au sens faible) si α est un ordinal limite ; soit successeur de א si α = β + 1.
