Axiome du choixvignette|upright=1.5|Pour tout ensemble d'ensembles non vides (les jarres), il existe une fonction qui associe à chacun de ces ensembles (ces jarres) un élément contenu dans cet ensemble (cette jarre). En mathématiques, l'axiome du choix, abrégé en « AC », est un axiome de la théorie des ensembles qui Il a été formulé pour la première fois par Ernest Zermelo en 1904 pour la démonstration du théorème de Zermelo. L'axiome du choix peut être accepté ou rejeté, selon la théorie axiomatique des ensembles choisie.
Axiome du choix globalEn mathématiques, plus précisément dans les théories utilisant des classes, l'axiome du choix global est un renforcement de l'axiome du choix qui s'applique à des classes propres d'ensembles ou d'ensembles d'ensembles. De manière informelle, il affirme que l'on peut choisir simultanément un élément dans tous les ensembles non-vides. L'axiome du choix global affirme qu'il existe une fonction de choix global τ, c'est-à-dire une fonction telle que, pour tout ensemble non-vide z, τ(z) est un élément de z.
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.
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.
Piétonvignette|50px|Piéton en déplacement. Un piéton est une personne se déplaçant à pied, en marchant ou en courant, par opposition à celui qui utilise un véhicule : il s'agit donc d'un mode de transport dit « doux ». Sa vitesse est de l'ordre du mètre par seconde (soit : de 2,5 à pour un randonneur en condition moyenne et de 4 à en milieu urbain dense). Sur terrain plat, en dessous de 4 km/h, on parlera de marche normale de piéton, de 4 à 5 km/h de marche dynamique, entre 5 et 6 km/h de marche rapide et au-dessus de 6 km/h, de marche sportive.
Passage piétondroite|upright=1.5|vignette|Passage piéton à Burnaby en Colombie-Britannique (Canada). Un passage piéton (parfois appelé passage clouté, malgré la disparition des clous) est une partie de la route, aménagée afin de permettre aux piétons de circuler en sécurité sur la chaussée, généralement pour la traverser. Il est conçu pour maintenir les usagers groupés dans un espace visible par les automobilistes et où ils peuvent circuler ou traverser en toute sécurité vis-à-vis du trafic routier.
Pedestrian scrambleA pedestrian scramble, also known as scramble intersection and scramble corner (Canada), 'X' Crossing (UK), diagonal crossing (US), scramble crossing (Japan), exclusive pedestrian interval, or Barnes Dance, is a type of traffic signal movement that temporarily stops all vehicular traffic, thereby allowing pedestrians to cross an intersection in every direction, including diagonally, at the same time. In Canada and the United States, It was first used in the late 1940s, but it later fell out of favor with traffic engineers there, as it increases delay for pedestrians and drivers.
Théorie des choix publicsLa théorie des choix publics, appelée aussi théorie des choix collectifs, est une théorie économique sur le rôle de l'État et le comportement politique des électeurs, des élus, des fonctionnaires et des groupes d'intérêts. Elle s'appuie sur une série de postulats empruntés à l'économie néoclassique (notamment celui de l'individualisme méthodologique et du choix rationnel) pour l'appliquer à la science politique : les décisions politiques ne résulteraient que de la somme de décisions individuelles, prises dans leur propre intérêt personnel par leurs auteurs.
PrévisionLa prévision est une . D'une façon générale, . Dans un sens plus restrictif, en épistémologie contemporaine, la prévision se distingue de la prédiction, qui est issue d'une loi ou théorie scientifique hautement confirmée ou corroborée, tandis que la prévision découle d'hypothèses ou de conjectures moins assurées. La prévisibilité et la prédictibilité désignent la possibilité que certains événements ou phénomènes soient prévus ou prédits à partir d'une hypothèse ou d'une théorie scientifique et de conditions initiales appropriées.
Axiome du choix dénombrablevignette|Chaque ensemble dans la suite dénombrable d'ensembles (Si) = S1, S2, S3, ... contient un élément différent de zéro, et éventuellement une infinité (ou même une infinité indénombrable) d'éléments. L'axiome du choix dénombrable nous permet de sélectionner arbitrairement un seul élément de chaque ensemble, formant une suite correspondante d'éléments (xi) = x1, x2, x3, ...
