Architecture chinoiseL’architecture chinoise, est depuis les années 1980, une architecture en pleine mutation. Une nouvelle génération d’architectes chinois prend la relève des premiers architectes formés en Occident au et l’aspect architectural et urbain de la Chine se métamorphose à vive allure, aux dépens des dernières traces de l’architecture traditionnelle (d'époques Ming et Qing essentiellement) encore visibles, et aux dépens de l’architecture des minorités : l’architecture au Tibet, celle des oasis du Xinjiang, les yourtes des éleveurs encore en usage en Mongolie Intérieure et au nord du Xinjiang, parmi tant d’autres.
Diagramme de Vennvignette|Diagramme de Venn montrant quels glyphes en majuscules sont partagés par l'alphabet grec, latin et russe. Un diagramme de Venn (également appelé diagramme logique) est un diagramme qui montre toutes les relations logiques possibles dans une collection finie de différents ensembles. Les diagrammes de Venn ont été conçus autour de 1880 par John Venn. Ils sont utilisés pour enseigner la théorie des ensembles élémentaires, ainsi que pour illustrer des relations simples en probabilité, logique, statistiques, linguistique et en informatique.
Diagramme d'Eulerdroite|vignette|upright=1.5|lang=fr|Un diagramme d'Euler illustrant que l'ensemble des « animaux à quatre pattes » est un sous-ensemble des « animaux », mais l'ensemble des « minéraux » est disjoint (il n'a pas de membres en commun) avec « animaux ».|lien=Fichier:EulerDiagram.svg%3Flang=fr Un diagramme d'Euler est un moyen de représentation diagrammatique des ensembles et des relations en leur sein. La première utilisation des « cercles Eulériens » est communément attribuée au mathématicien suisse Leonhard Euler (1707-1783).
ForcingEn mathématiques, et plus précisément en logique mathématique, le forcing est une technique inventée par Paul Cohen pour prouver des résultats de cohérence et d'indépendance en théorie des ensembles. Elle a été utilisée pour la première fois en 1962 pour prouver l'indépendance de l'hypothèse du continu vis-à-vis de la théorie ZFC. Combinée avec la technique des modèles de permutation de Fraenkel-Mostowski-Specker, elle a permis également d'établir l'indépendance de l'axiome du choix relativement à ZF.
