| |
|
Faire des mathématiques c'est :
Les mathématiques actuelles sont basées sur les ensembles, et en fait tout objet mathématique est un ensemble. On ne définit pas ce qu'est un ensemble, mais des règles de manipulations par les différents axiomes de ZFC. Par exemple est défini comme un ensemble. En fait on construit comme ceci: et (voir à ce sujet l'article sur la construction des entiers naturels). L'oeuvre de l'association Bourbaki est très représentative de cette façon de voir les mathématiques.
Il est aussi possible de construire les mathématiques actuelles à partir de la théorie des catégories.
Et il faut signaler que parmi les mathématiciens, certains se contentent des axiomes ZF, et refusent l'axiome du choix (C), car ils considèrent que certaines de ses implications sont contre-intuitives. Plus généralement certains mathématiciens refusent complètement ZF et la logique classique qui en est la base, car ils considèrent que tout doit être construit explicitement; c'est la raison pour laquelle on les appelle constructivistes.
À noter que l'analyse non-standard définit un prédicat et quelques axiomes supplémentaires à ZFC pour utiliser ce prédicat. Cela permet d'augmenter le vocabulaire du mathématicien et de simplifier ses phrases. Par exemple la continuité d'une fonction dans se définit plus simplement avec l'analyse non-standard : est continue si pour tout infiniment petit et pour tout , est infiniment proche de . La notion d'infiniment petit est définie en analyse non-standard. On obtient ainsi une définition intuitive de la continuité, tout en étant stricte (modulo les abréviations).