Logique mathématiqueLa logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
Théorie naïve des ensemblesLes ensembles sont d'une importance fondamentale en mathématiques ; en fait, de manière formelle, la mécanique interne des mathématiques (nombres, relations, fonctions, etc.) peut se définir en termes d'ensembles. Il y a plusieurs façons de développer la théorie des ensembles et plusieurs théories des ensembles existent. Par théorie naïve des ensembles, on entend le plus souvent un développement informel d'une théorie des ensembles dans le langage usuel des mathématiques, mais fondée sur les axiomes de la théorie des ensembles de Zermelo ou de Zermelo-Fraenkel avec axiome du choix dans le style du livre Naive Set Theory de Paul Halmos.
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.
Gottlob FregeGottlob Frege (), de son nom complet Friedrich Ludwig Gottlob Frege, né le à Wismar et mort le à Bad Kleinen, est un mathématicien, logicien et philosophe allemand, créateur de la logique moderne et plus précisément du calcul propositionnel moderne : le calcul des prédicats. Il est en outre considéré comme l'un des plus importants représentants du logicisme. C'est à la suite de son ouvrage Les Fondements de l'arithmétique, où il tente de dériver l'arithmétique de la logique, que Russell lui a fait parvenir le paradoxe qui porte son nom.
Axiomes de Peanovignette|Giuseppe Peano En mathématiques, les axiomes de Peano sont des axiomes pour l'arithmétique proposés initialement à la fin du par Giuseppe Peano, et qui connaissent aujourd'hui plusieurs présentations qui ne sont pas équivalentes, suivant la théorie sous-jacente, théorie des ensembles, logique du second ordre ou d'ordre supérieur, ou logique du premier ordre. Richard Dedekind avait proposé une formalisation assez proche, sous une forme non axiomatique.
Bertrand RussellInfobox Philosophe | nom = Bertrand Russell | image = Bertrand Russell cropped.jpg | légende = Bertrand Russell en novembre 1957. | alt = Photographie en noir et blanc d'un homme aux cheveux blancs, mains jointes sur ses lunettes, observant le spectateur d'un air amusé | date de naissance = 18 mai 1872 | lieu de naissance = Trellech (Monmouthshire, Royaume-Uni) | date de décès = 2 février 1970 | lieu de décès = Penrhyndeudraeth (Gwynedd, Royaume-Uni) | tradition philosophique = Philosophie analytique | principaux intérêts = Logique, mathématiques, physique, éthique, religion, politique | œuvres principales = Principia Mathematica,De la dénotation | a influencé = Ludwig Wittgenstein, A.
