Accès plus rapide que le navigateur!
44 relations: Abus de notation, Alfred Tarski, Algèbre de Boole (structure), Axiome d'extensionnalité, Axiome de la paire, Axiome de la réunion, Axiome du choix, Bertrand Russell, Conjonction logique, Contradiction, Disjonction logique, Ensemble, Ensemble bien ordonné, Ensemble transitif, Ernst Schröder, Ernst Zermelo, Georg Cantor, Giuseppe Peano, Jean Cavaillès, Jean van Heijenoort, John von Neumann, Jon Barwise, Joseph Shoenfield, Kurt Gödel, Mathématiques, Négation logique, Nombre ordinal, Paradoxe de Burali-Forti, Paradoxe de Cantor, Paradoxe de Russell, Paul Bernays, Produit cartésien, Quantification (logique), Relation (mathématiques), Relation d'équivalence, Relation d'ordre, Richard Dedekind, Schéma d'axiomes de compréhension, Schéma d'axiomes de remplacement, Théorie des catégories, Théorie des ensembles, Théorie des ensembles de Morse-Kelley, Théorie des ensembles de von Neumann-Bernays-Gödel, Théorie des ensembles de Zermelo-Fraenkel.
Abus de notation
En mathématiques, un abus de notation est l'utilisation de symboles hors de leur usage d'origine de façon à résumer une expression, au risque de contrevenir à un formalisme en cours, voire d'obtenir une expression ambiguë.
Nouveau!!: Classe (mathématiques) et Abus de notation · Voir plus »
Alfred Tarski
Alfred Tarski, né Alfred Teitelbaum le à Varsovie et mort le à Berkeley en Californie, est un logicien et un philosophe polonais, un des maîtres de l'école polonaise de logique et l'un des mathématiciens logiciens les plus éminents du, fondateur de la théorie des modèles et de la sémantique formelle.
Nouveau!!: Classe (mathématiques) et Alfred Tarski · Voir plus »
Algèbre de Boole (structure)
'''Exemple d'algèbre de Boole''': l'ensemble des parties de l'ensemble x, y, z illustré par son diagramme de Hasse. En mathématiques, une algèbre de Boole, ou parfois anneau de Boole, est une structure algébrique étudiée en particulier en logique mathématique.
Nouveau!!: Classe (mathématiques) et Algèbre de Boole (structure) · Voir plus »
Axiome d'extensionnalité
L’axiome d’extensionnalité est l’un des axiomes-clés de la plupart des théories des ensembles, en particulier, des théories des ensembles de Zermelo, et de Zermelo-Fraenkel (ZF).
Nouveau!!: Classe (mathématiques) et Axiome d'extensionnalité · Voir plus »
Axiome de la paire
En mathématiques, l'axiome de la paire est l'un des axiomes de la théorie des ensembles, plus précisément des théories des ensembles de Zermelo et de Zermelo-Fraenkel.
Nouveau!!: Classe (mathématiques) et Axiome de la paire · Voir plus »
Axiome de la réunion
En théorie des ensembles, l’axiome de la réunion (ou «axiome de la somme») est l'un des axiomes de la théorie des ensembles de Zermelo-Fraenkel, ZF.
Nouveau!!: Classe (mathématiques) et Axiome de la réunion · Voir plus »
Axiome du choix
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.
Nouveau!!: Classe (mathématiques) et Axiome du choix · Voir plus »
Bertrand Russell
Bertrand Arthur William Russell,, né le à Trellech (Monmouthshire) et mort le près de Penrhyndeudraeth (pays de Galles), est un mathématicien, logicien, philosophe, épistémologue, homme politique et moraliste britannique.
Nouveau!!: Classe (mathématiques) et Bertrand Russell · Voir plus »
Conjonction logique
En logique, la conjonction est une opération mise en œuvre par le connecteur binaire et.
Nouveau!!: Classe (mathématiques) et Conjonction logique · Voir plus »
Contradiction
En logique des propositions, une contradiction ou antilogie est une formule qui est toujours fausse, quelle que soit la valeur des variables propositionnelles.
Nouveau!!: Classe (mathématiques) et Contradiction · Voir plus »
Disjonction logique
La disjonction logique, ou disjonction non exclusive, de deux assertions est une façon d'affirmer qu'au moins une de ces deux assertions est vraie (la première, la deuxième, ou les deux).
Nouveau!!: Classe (mathématiques) et Disjonction logique · Voir plus »
Ensemble
Ensemble de polygones dans un diagramme d'Euler En mathématiques, un ensemble désigne intuitivement un rassemblement d’objets distincts (les éléments de l'ensemble), « une multitude qui peut être comprise comme une totalité » pour paraphraser Georg Cantor qui est à l'origine de la théorie des ensembles.
Nouveau!!: Classe (mathématiques) et Ensemble · Voir plus »
Ensemble bien ordonné
En mathématiques, un ensemble ordonné (E, ≤) est bien ordonné et la relation ≤ est un bon ordre si la condition suivante est satisfaite: Si (E, ≤) est bien ordonné alors ≤ est nécessairement un ordre total, c'est-à-dire que deux éléments quelconques x et y de E sont toujours comparables.
Nouveau!!: Classe (mathématiques) et Ensemble bien ordonné · Voir plus »
Ensemble transitif
En mathématiques, plus précisément en théorie des ensembles, un ensemble transitif est un ensemble dont tous les éléments sont aussi des parties de l'ensemble.
Nouveau!!: Classe (mathématiques) et Ensemble transitif · Voir plus »
Ernst Schröder
Ernst Schröder (1841-1902) est un mathématicien allemand.
Nouveau!!: Classe (mathématiques) et Ernst Schröder · Voir plus »
Ernst Zermelo
Ernst Zermelo (à Berlin - à Fribourg-en-Brisgau, à l'état civil, Ernst Friedrich Ferdinand Zermelo) est un mathématicien allemand.
Nouveau!!: Classe (mathématiques) et Ernst Zermelo · Voir plus »
Georg Cantor
Georg Cantor est un mathématicien allemand, né le à Saint-Pétersbourg (Empire russe) et mort le à Halle (Empire allemand).
Nouveau!!: Classe (mathématiques) et Georg Cantor · Voir plus »
Giuseppe Peano
Giuseppe Peano (Spinetta di Cuneo (Coni), - Cavoretto, près de Turin) est un mathématicien et linguiste italien. Pionnier de l’approche formaliste des mathématiques, il développa, parallèlement à l’Allemand Richard Dedekind, une axiomatisation de l'arithmétique (1889). Il est par ailleurs l’inventeur d'une langue auxiliaire internationale, le Latino sine flexione (LsF) (le latin sans déclinaisons) en 1903. Il fut membre du comité qui créa la délégation pour l'adoption d'une langue auxiliaire internationale.
Nouveau!!: Classe (mathématiques) et Giuseppe Peano · Voir plus »
Jean Cavaillès
Jean Cavaillès, né le à Saint-Maixent et fusillé le à Arras, est un philosophe et épistémologue français, qui fut un des principaux chefs militaires de la Résistance intérieure.
Nouveau!!: Classe (mathématiques) et Jean Cavaillès · Voir plus »
Jean van Heijenoort
Jean Louis Maxime van Heijenoort, (–) est un pionnier français de la logique mathématique.
Nouveau!!: Classe (mathématiques) et Jean van Heijenoort · Voir plus »
John von Neumann
John von Neumann (János Lajos Neumann) (János Lajos Neumann en hongrois), né le à Budapest et mort le à Washington, est un mathématicien et physicien américano-hongrois.
Nouveau!!: Classe (mathématiques) et John von Neumann · Voir plus »
Jon Barwise
Kenneth Jon Barwise (1942-2000) est un mathématicien, philosophe et logicien américain.
Nouveau!!: Classe (mathématiques) et Jon Barwise · Voir plus »
Joseph Shoenfield
Joseph Robert Shoenfield, né le à Détroit (Michigan) et mort le à Durham (Caroline du Nord), est un logicien mathématicien américain.
Nouveau!!: Classe (mathématiques) et Joseph Shoenfield · Voir plus »
Kurt Gödel
Kurt Gödel, né le à Brünn et mort le à Princeton (New Jersey), est un logicien et mathématicien autrichien naturalisé américain.
Nouveau!!: Classe (mathématiques) et Kurt Gödel · Voir plus »
Mathématiques
Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets.
Nouveau!!: Classe (mathématiques) et Mathématiques · Voir plus »
Négation logique
En logique et en mathématiques, la négation est un opérateur logique unaire.
Nouveau!!: Classe (mathématiques) et Négation logique · Voir plus »
Nombre ordinal
Spirale représentant les nombres ordinaux inférieurs à ωω. En mathématiques, on appelle nombre ordinal un objet permettant de caractériser le type d'ordre d'un ensemble bien ordonné quelconque, tout comme en linguistique, les mots premier, deuxième, troisième, quatrième, etc.
Nouveau!!: Classe (mathématiques) et Nombre ordinal · Voir plus »
Paradoxe de Burali-Forti
En mathématiques, le paradoxe de Burali-Forti, paru en 1897, désigne une construction qui conduit dans certaines théories des ensembles ou théories des types trop naïves à une antinomie, c’est-à-dire que la théorie est contradictoire (on dit aussi incohérente ou inconsistante).
Nouveau!!: Classe (mathématiques) et Paradoxe de Burali-Forti · Voir plus »
Paradoxe de Cantor
Le paradoxe de Cantor, ou paradoxe du plus grand cardinal, est un paradoxe de la théorie des ensembles dont l'argument a été découvert par Georg Cantor dans les années 1890.
Nouveau!!: Classe (mathématiques) et Paradoxe de Cantor · Voir plus »
Paradoxe de Russell
Le paradoxe de Russell, ou antinomie de Russell, est un paradoxe très simple de la théorie des ensembles qui a joué un rôle important dans la formalisation de celle-ci.
Nouveau!!: Classe (mathématiques) et Paradoxe de Russell · Voir plus »
Paul Bernays
Paul Bernays, né le à Londres et mort le à Zurich, est un mathématicien suisse qui a joué un rôle crucial dans le développement de la logique mathématique au.
Nouveau!!: Classe (mathématiques) et Paul Bernays · Voir plus »
Produit cartésien
Illustration d'un produit cartésien A x B où A.
Nouveau!!: Classe (mathématiques) et Produit cartésien · Voir plus »
Quantification (logique)
236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications.
Nouveau!!: Classe (mathématiques) et Quantification (logique) · Voir plus »
Relation (mathématiques)
Une relation entre objets mathématiques d'un certain domaine est une propriété qu'ont, ou non, entre eux certains de ces objets; ainsi la relation d'ordre strict, notée « Voir par exemple, p. 36.
Nouveau!!: Classe (mathématiques) et Relation (mathématiques) · Voir plus »
Relation d'équivalence
En mathématiques, une relation d'équivalence permet, dans un ensemble, de mettre en relation des éléments qui sont similaires par une certaine propriété.
Nouveau!!: Classe (mathématiques) et Relation d'équivalence · Voir plus »
Relation d'ordre
Une relation d'ordre dans un ensemble est une relation binaire dans cet ensemble qui permet de comparer ses éléments de manière cohérente.
Nouveau!!: Classe (mathématiques) et Relation d'ordre · Voir plus »
Richard Dedekind
Julius Wilhelm Richard Dedekind (né le à Brunswick et mort le dans la même ville) est un mathématicien allemand et un proche disciple de Ernst Kummer en arithmétique.
Nouveau!!: Classe (mathématiques) et Richard Dedekind · Voir plus »
Schéma d'axiomes de compréhension
Le schéma d'axiomes de compréhension, ou schéma d'axiomes de séparation, est un schéma d'axiomes de la théorie des ensembles introduit par Zermelo dans sa théorie des ensembles, souvent notée Z. On dit souvent en abrégé schéma de compréhension ou schéma de séparation.
Nouveau!!: Classe (mathématiques) et Schéma d'axiomes de compréhension · Voir plus »
Schéma d'axiomes de remplacement
Le schéma d'axiomes de remplacement, ou schéma d'axiomes de substitution, est un schéma d'axiomes de la théorie des ensembles introduit en 1922 indépendamment par Abraham Adolf Fraenkel et Thoralf Skolem.
Nouveau!!: Classe (mathématiques) et Schéma d'axiomes de remplacement · Voir plus »
Théorie des catégories
La théorie des catégories est l'étude des structures mathématiques et de leurs relations.
Nouveau!!: Classe (mathématiques) et Théorie des catégories · Voir plus »
Théorie des ensembles
La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du.
Nouveau!!: Classe (mathématiques) et Théorie des ensembles · Voir plus »
Théorie des ensembles de Morse-Kelley
La théorie des ensembles de Morse-Kelley (parfois abrégée en MK) est une théorie axiomatique exprimée en premier ordre dont les objets sont des classes, c'est-à-dire des ensembles en un sens proche de celui de la théorie des ensembles de Zermelo-Fraenkel (ZFC) mais aussi des « collections » d'ensembles ayant une même propriété, qui ne peuvent être considérés comme des ensembles sous peine de paradoxe, comme la collection de tous les ensembles.
Nouveau!!: Classe (mathématiques) et Théorie des ensembles de Morse-Kelley · Voir plus »
Théorie des ensembles de von Neumann-Bernays-Gödel
La théorie des ensembles de von Neumann–Bernays–Gödel, abrégée en NBG ou théorie des classes, est une théorie axiomatique essentiellement équivalente à la théorie ZFC de Zermelo-Fraenkel avec axiome du choix (et avec les mêmes variantes possibles), mais dont le pouvoir expressif est plus riche.
Nouveau!!: Classe (mathématiques) et Théorie des ensembles de von Neumann-Bernays-Gödel · Voir plus »
Théorie des ensembles de Zermelo-Fraenkel
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.
Nouveau!!: Classe (mathématiques) et Théorie des ensembles de Zermelo-Fraenkel · Voir plus »
Redirections ici:
Calcul des classes, Classe (Mathématiques), Classe propre.
