Completeness of the real numbersCompleteness is a property of the real numbers that, intuitively, implies that there are no "gaps" (in Dedekind's terminology) or "missing points" in the real number line. This contrasts with the rational numbers, whose corresponding number line has a "gap" at each irrational value. In the decimal number system, completeness is equivalent to the statement that any infinite string of decimal digits is actually a decimal representation for some real number.
ConstanteCet article concerne les grandeurs constantes. Pour les expressions dont la valeur ne dépend pas d'une variable, voir « Fonction constante ». En sciences, une constante est une grandeur dont la valeur est fixée par convention ou par calcul, indépendamment du problème dans lequel elle est rencontrée. Cette notion s'oppose ainsi à celle de variable, dont la valeur peut changer au cours d'un même problème. Une constante est généralement notée par une lettre, majuscule ou minuscule, qui tend à être adoptée internationalement.
Unicité (mathématiques)En mathématiques, l'unicité d'un objet satisfaisant certaines propriétés est le fait que tout objet satisfaisant les mêmes propriétés lui est égal. Autrement dit, il ne peut exister deux objets différents satisfaisant ces mêmes propriétés. Cependant, une démonstration de l'unicité ne suffit pas a priori pour en déduire l'existence de l'objet. La conjonction de l'existence et de l'unicité est usuellement notée à l'aide du quantificateur « ∃! ».
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
Ensemblevignette|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. Dans une approche axiomatique, la théorie des ensembles est une théorie de l'appartenance (un élément d'un ensemble est dit « appartenir » à cet ensemble).
Construction des nombres réelsEn mathématiques, il existe différentes constructions des nombres réels, dont les deux plus connues sont : les coupures de Dedekind, qui définissent, via la théorie des ensembles, un réel comme l'ensemble des rationnels qui lui sont strictement inférieurs ; les suites de Cauchy, qui définissent, via l'analyse, un réel comme une suite de rationnels convergeant vers lui. C'est à partir des années 1860 que la nécessité de présenter une construction des nombres réels se fait de plus en plus pressante, dans le but d'asseoir l'analyse sur des fondements rigoureux.
TautologieLa tautologie (du grec ancien ταὐτολογία, composé de ταὐτό, « la même chose », et λέγω, « dire » : le fait de redire la même chose) est une phrase ou un effet de style ainsi tourné que sa formulation ne puisse être que vraie. La tautologie est apparentée au truisme (ou lapalissade) et au pléonasme. En logique mathématique, le mot « tautologie » désigne une proposition toujours vraie selon les règles du calcul propositionnel. On utilise aussi l'adjectif tautologique en mathématiques pour désigner des structures qui émergent naturellement de la définition de certains objets.
NombreUn nombre est un concept permettant d’évaluer et de comparer des quantités ou des rapports de grandeurs, mais aussi d’ordonner des éléments en indiquant leur rang. Souvent écrits à l’aide d’un ou plusieurs chiffres, les nombres interagissent par le biais d’opérations qui sont résumées par des règles de calcul. Les propriétés de ces relations entre les nombres sont l’objet d’étude de l’arithmétique, qui se prolonge avec la théorie des nombres.
Nombre rationnelUn nombre rationnel est, en mathématiques, un nombre qui peut s'exprimer comme le quotient de deux entiers relatifs. On peut ainsi écrire les nombres rationnels sous forme de fractions notées où , le numérateur, est un entier relatif et , le dénominateur, est un entier relatif non nul. Un nombre entier est un nombre rationnel : il peut s'exprimer sous la forme . Chaque nombre rationnel peut s'écrire d'une infinité de manières différentes sous forme de fraction, par exemple ...
Skolem normal formIn mathematical logic, a formula of first-order logic is in Skolem normal form if it is in prenex normal form with only universal first-order quantifiers. Every first-order formula may be converted into Skolem normal form while not changing its satisfiability via a process called Skolemization (sometimes spelled Skolemnization). The resulting formula is not necessarily equivalent to the original one, but is equisatisfiable with it: it is satisfiable if and only if the original one is satisfiable.
Interprétation (logique)En logique, une interprétation est une attribution de sens aux symboles d'un langage formel. Les langages formels utilisés en mathématiques, en logique et en informatique théorique ne sont définis dans un premier temps que syntaxiquement ; pour en donner une définition complète, il faut expliquer comment ils fonctionnent et en donner une interprétation. Le domaine de la logique qui donne une interprétation aux langages formels s'appelle la sémantique formelle.
