Devoir de Philosophie

ensembles (théorie des), théorie axiomatique bâtie au début du XX e siècle à partir des idées de Cantor, et permettant de fonder les mathématiques sur des bases explicites et cohérentes.

Publié le 27/10/2013

Extrait du document

ensembles (théorie des), théorie axiomatique bâtie au début du XX e siècle à partir des idées de Cantor, et permettant de fonder les mathématiques sur des bases explicites et cohérentes. La théorie aujourd'hui la plus en usage est dite « ZFC «, par référence à Zermelo qui l'a fondée en 1908, à F raenkel qui l'a complétée avec Skolem en 1923, et à l'axiome du choix dont il paraît difficile de se passer. La théorie dite « naïve « des ensembles utilise le même vocabulaire (inclusion, partie, complémentaire, intersection, réunion...), mais en interprétant les ensembles comme une réunion d'éléments susceptibles de former un tout significatif.

Liens utiles