Répondre

Foys · 27-10-2025 06:43:38

Bonjour;
Il existe divers systèmes axiomatiques pour les mathématiques. Dans ceux-ci on peut parfaitement et rigoureusement définir ce qu'est un énoncé mathématique (il s'agit d'une formule de logique).
Un exemple de tel système se trouve décrit de manière détaillée dans l'édition de 1970 du livre de N.Bourbaki: théorie des ensembles.

David67 · 26-10-2025 10:54:55

Merci pour votre réponse,

Cela veut dire, comme ce n’est pas une notion mathématique, qu’on ne peut pas la définir c’est bien ça ? On considère alors que c’est juste une phrase mathématique (= ayant un sens mathématique) sans plus de précisions alors ? Par exemple « démontrer que 2+2 est un réel » est un énoncé mathématique ?

DeGeer · 26-10-2025 10:38:48

Bonjour
La notion d'énoncé mathématique n'est pas elle même une notion mathématique. L'expression "notion mathématique" garde son sens intuitif, au moins tant qu'on ne fait pas de logique formelle.

David67 · 26-10-2025 00:35:34

Bonjour à tous,

Concernant les définitions d’une « proposition logique » et d’une « fonction propositionnelle », on dit dans presque tous les cours que c’est un énoncé mathématique (qui est vrai ou faux pour une proposition logique par exemple). Mais comment définir ce qu’est un énoncé mathématique ?

Merci pour votre réponse,
Belle fin de week-end.

David

Forum de mathématiques - Bibm@th.net

Répondre

Résumé de la discussion (messages les plus récents en premier)

Pied de page des forums