Eléments de la méthode de forcing dans quelques travaux de N. N. Lousin

Fedor A. Medvedev

A chapter in Amphora, 1992, pp 469-479 from Springer

Abstract: Résumé Le système d’axiomes ZFC de la théorie des ensembles, c.-à-d. le système d’axiomes de Zermelo-Fraenkel avec l’introduction dans celui-ci de l’axiome de choix, habituellement est considéré si fort, ≪ que tout ce qui peut être prouvé en mathématiques par les moyens ordinaires, peut être aussi prouvé par les moyens formels ZFC ≫ ([Ouspenski 1985], 87), ou, en d’autres mots, ≪ l’affirmation mathématique quelconque ... y est exprimée de manière que ce système peut être considéré comme le fondement des mathématiques contemporaines≫ ([Malyhin 1988], 83–84). Toutefois, cela ne veut pas dire, que le système donné est fermé et autorégissant, épuisant toutes les mathématiques. Suivant le théorème de GÖDEL sur l’insuffisance1 (1931) il y avaient les affirmations indépendantes de ZFC, c.-à-d. de telles propositions mathématiques T, que ni T proprement dit, ni sa négation ¬T y sont indémontrables. L’une des options importantes des études selon les bases des mathématiques après l’apparition de cette théorie consiste en recherches et en examen des affirmations indépendantes de ce genre, de leur adjonction à ZFC et l’obtention des systèmes d’axiomes flexibles de la théorie des ensembles, telles comme ZFC + CH ou ZFC + ¬CH, ou CH fait désigner l’hypothèse de continu. Il est naturel que ces en elles-mêmes portent le caractère non-destructif et pour qu’elles soient une réussite, il est utile de posséder de la méthode assez générale de distinction de pareilles affirmations spécifiques.2

Date: 1992
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-0348-8599-7_22

Ordering information: This item can be ordered from
http://www.springer.com/9783034885997

DOI: 10.1007/978-3-0348-8599-7_22

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().