Théorie des modèlesLa théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures. Elle définit en particulier les modèles des théories axiomatiques, l'objectif étant d'interpréter les structures syntaxiques (termes, formules, démonstrations...) dans des structures mathématiques (ensemble des entiers naturels, groupes, univers...) de façon à leur associer des concepts de nature sémantique (comme le sens ou la vérité).
ChoixUn choix résulte de la décision d'un individu ou d'un groupe confronté à une situation ou à un système offrant une ou plusieurs options. Le terme « choix » pouvant désigner le processus par lequel cette opération est menée à bien et/ou le résultat de ladite opération : en philosophie, la question de savoir si un individu effectue des choix librement ou est déterminé renvoie au problème de l'existence ou non du libre arbitre. De plus, l’expression « être un Renaud » prend de l’ampleur dans le langage utilisé par les 18-25ans.
Valeurs familialesLes valeurs familiales sont un ensemble de conceptions sur la famille entretenues dans la société qui influencent le choix des objectifs familiaux, des modes d'organisation de la vie et des interactions au sein d'une famille. Au premier abord, avoir des valeurs familiales démontre d'après Anne Bourgeois et Jacques Légaré, la possession d'un certain attachement envers ce qui fonde la famille : selon eux, les enfants et la vie en couple. Les valeurs familiales font ainsi souvent référence à ce qui se passe au niveau des couples : cohabitation, mariages, ruptures, parentalité.
Label (sociology)A label is an abstract concept in sociology used to group people together based on perceived or held identity. Labels are a mode of identifying social groups. Labels can create a sense of community within groups, but they can also cause harm when used to separate individuals and groups from mainstream society. Individuals may choose a label, or they may be assigned one by others. The act of labeling may affect an individual's behavior and their reactions to the social world.
Axiome du choix dépendantEn mathématiques, l'axiome du choix dépendant, noté DC, est une forme faible de l'axiome du choix (AC), suffisante pour développer une majeure partie de l'analyse réelle. Il a été introduit par Bernays. L'axiome peut s'énoncer comme suit : pour tout ensemble non vide X, et pour toute relation binaire R sur X, si l'ensemble de définition de R est X tout entier (c'est-à-dire si pour tout a∈X, il existe au moins un b∈X tel que aRb) alors il existe une suite (xn) d'éléments de X telle que pour tout n∈N, xnRxn+1.
