Axiome de l'ensemble vide

L'axiome de l'ensemble vide énonce qu'il existe un ensemble ne possédant pas d'éléments. Dans les présentations modernes, il ne fait pas partie des axiomes de la théories des ensembles de Zermelo, ou Zermelo-Fraenkel, car, dans un univers ensembliste non vide, il est conséquence du schéma d'axiomes de compréhension. Mais il peut être utile pour certaines théories des ensemble très faibles.

Exposition

Cet axiome énonce que :

il existe un ensemble qui n'a aucun élément

soit dans le langage formel de la théorie des ensembles de Zermelo-Fraenkel (théorie de l'appartenance notée « ∈ ») :

xy yx

L'axiome d'extensionnalité permet de démontrer l'unicité d'un tel ensemble, qui est appelé l'ensemble vide et noté ∅ ou parfois { }.

Ensemble vide et schéma de compréhension

Dès qu'il existe un ensemble, l'existence d'un ensemble vide peut être démontrée par compréhension, comme étant le sous-ensemble des éléments de celui-ci qui vérifient une propriété toujours fausse[1]. En logique du premier ordre, le plus souvent, les domaines d'interprétation des variables d'objets de base sont non vides[2]. Cela compliquerait beaucoup l'exposé des règles logiques de considérer des domaines vides[3]. Par conséquent l'axiome de l'ensemble vide ne fait pas partie des axiomes de la théorie des ensembles de Zermelo ou de Zermelo-Fraenkel, quand celles-ci sont présentées comme des théories du premier ordre. En effet, cela signifie ici que ce que l'on appelle un univers[4] (l'ensemble de base d'un modèle de la théorie des ensembles considérée, le domaine dans lequel sont interprétées les variables d'ensemble) est supposé non vide. Une nouvelle variable introduite dans le raisonnement désigne un ensemble arbitraire de l'univers, ce qui a un sens puisque cet univers est non vide.

Il suffit donc, dans le cas qui nous préoccupe, d'appliquer le schéma d'axiomes de compréhension à un ensemble arbitraire, pour une propriété jamais réalisée : soit y un ensemble, il existe par compréhension un ensemble a = {xy| xx}, et celui-ci est bien l'ensemble vide, c’est-à-dire que x xa[5].

L'axiome de l'ensemble vide reste utile pour des théories des ensembles très faibles, sans axiome de compréhension, comme la théorie S' qui ne comprend pour axiomes que :

  • l'axiome d'extensionnalité ;
  • l'axiome de l'ensemble vide ;
  • un axiome qui exprime essentiellement que si x et y sont des ensembles, alors x ∪ {y} est un ensemble.

Cette théorie est suffisante pour interpréter l'arithmétique de Robinson Q, et c'est donc, comme cette dernière, une théorie indécidable ainsi que toutes ses extensions[6].

Axiome d'existence

Dans une présentation de la théorie des ensembles de Zermelo ou de Zermelo-Fraenkel qui ne présuppose pas une connaissance de la logique du premier ordre, ou qui ne suppose pas l'univers non vide a priori, l'existence de l'ensemble vide se déduit de n'importe quel axiome assurant l'existence d'un ensemble.

Paul Halmos introduit temporairement une hypothèse d'existence (il existe au moins un ensemble) pour démontrer l'existence d'un ensemble vide, sachant que les théories de Zermelo et de Zermelo-Fraenkel possèdent un axiome d'existence bien plus fort que l'axiome de l'ensemble vide, l'axiome de l'infini, qui intègre celui-ci[7].

Thomas Jech affirme directement que celui-ci se déduit de l'axiome de l'infini[8].

Kenneth Kunen ajoute un axiome « 0 » d'existence d'un ensemble « x x=x », pour insister sur le fait que l'univers est non vide, tout en précisant que cet axiome n'est pas nécessaire car « conséquence des axiomes logiques »[9].

Notes et références

  1. Halmos 1965, p. 17.
  2. Par exemple René Cori et Daniel Lascar, Logique mathématique, tome 1, Masson, (1re éd. 1993).
  3. En déduction naturelle, la règle d'introduction de l'existentielle suppose, pour pouvoir être interprétée correctement, que les domaines sont non vides Karim Nour, René David et Christoffe Raffalli, Introduction à la logique : théorie de la démonstration, , 352 p. (ISBN 978-2-10-006796-1).
  4. Cori et Lascar 2003, p. 113.
  5. Jean-Louis Krivine, Théorie des ensembles, Paris, Cassini, coll. « Nouvelle bibliothèque mathématique » (no 5), , 271 p. (ISBN 2-84225-096-6), p. 15.
  6. (en) Alfred Tarski, Andrzej Mostowski et Raphael Robinson, Undecidable theories, North Holland, , p. 34. Le résultat est dû pour l'essentiel à Alfred Tarski et Wanda Szmielew.
  7. Halmos 1965, p. 18.
  8. (en) Thomas Jech, Set Theory : The Third Millennium Edition, revised and expanded, Springer, , 3e éd., 772 p. (ISBN 978-3-540-44085-7, présentation en ligne), p. 8.
  9. (en) Kenneth Kunen, Set Theory : An Introduction to Independence Proofs, Amsterdam/New York/Oxford, North-Holland, , 313 p. (ISBN 0-444-85401-0), p. 10.

Bibliographie

Read other articles:

Karikatur keseimbangan kekuasaan, yang mengibaratkan para prajurit yang menyeimbangkan wilayah eropa Keseimbangan kekuasaan (Inggris: Balance of power) dalam hubungan internasional mengacu pada keseimbangan antara negara-negara atau aliansi untuk mencegah satu entitas menjadi terlalu kuat.[1] Dengan keseimbangan ini, negara tersebut tidak dapat memaksakan kehendaknya atau mengganggu kepentingan negara lain.[2] Negara dapat melakukan keseimbangan kekuasaan dengan dua cara, yait...

 

Neoclassical Grade II* listed building in Liverpool, England For other uses, see Lyceum (disambiguation). The LyceumGeneral informationArchitectural styleNeo-classicalTown or cityLiverpoolCountryEnglandConstruction started1800Completed1802Cost£11,000 (1803)Design and constructionArchitect(s)Thomas HarrisonEngineerWilliam Slater The Lyceum is a Neoclassical Grade II* listed building located on Bold Street, Liverpool. It was constructed in 1802 as a news-room and England's first subscription l...

 

Bangladeshi cricketer Nahida AkterNahida Akter in 2018Personal informationFull nameNahida AkterBorn (2000-03-02) 2 March 2000 (age 24)BattingRight-handedBowlingSlow left-arm orthodoxRoleBowlerInternational information National sideBangladesh (2015–present)ODI debut (cap 23)4 October 2015 v PakistanLast ODI10 November 2023 v PakistanT20I debut (cap 24)30 September 2015 v PakistanLast T20I29 October 2023 v Pakistan Domestic t...

PausLeo VIIAwal masa kepausan3 Januari 936Akhir masa kepausan13 Juli 939PendahuluYohanes XIPenerusStefanus VIIIInformasi pribadiNama lahirtidak diketahuiLahirtidak diketahuiWafat13 Juli 939tempat tidak diketahuiPaus lainnya yang bernama Leo Paus Leo VII (???-13 Juli 939) adalah Paus Gereja Katolik Roma sejak 3 Januari 936 hingga 13 Juli 939. Didahului oleh:Yohanes XI Paus936 – 939 Diteruskan oleh:Stefanus VIII Artikel bertopik Paus dalam Gereja Katolik Roma ini adalah sebuah rintisan. ...

 

This article is about the 2019 video game. For the murder mystery companion app, see Mosaic (murder mystery) § App.2019 video gameMosaicApp iconDeveloper(s)Krillbite StudioPublisher(s)Raw FuryPlatform(s)Apple Arcade, Linux, Windows, Nintendo Switch, Xbox One, PlayStation 4ReleaseApple ArcadeNovember 1, 2019[1]Linux, WindowsDecember 5, 2019[1]Nintendo Switch, Xbox OneJanuary 23, 2020[2]PlayStation 4February 11, 2020[3]Genre(s)Adventure, artMode(s)Single-pl...

 

American fine art and collectibles auction house Heritage AuctionsCompany typePrivateFounded1976; 48 years ago (1976) in Dallas, Texas, U.S.FounderSteve Ivy (founder and CEO)Jim Halperin(co-founder)HeadquartersDallas, Texas, U.S.ProductsAntiques and collectiblesServicesAuctioneerWebsiteha.com Heritage Auctions is an American multi-national auction house based in Dallas, Texas. Founded in 1976, Heritage is an auctioneer of numismatic collections, comics, fine art, books, luxu...

† Человек прямоходящий Научная классификация Домен:ЭукариотыЦарство:ЖивотныеПодцарство:ЭуметазоиБез ранга:Двусторонне-симметричныеБез ранга:ВторичноротыеТип:ХордовыеПодтип:ПозвоночныеИнфратип:ЧелюстноротыеНадкласс:ЧетвероногиеКлада:АмниотыКлада:Синапсиды�...

 

Artikel ini perlu dikembangkan agar dapat memenuhi kriteria sebagai entri Wikipedia.Bantulah untuk mengembangkan artikel ini. Jika tidak dikembangkan, artikel ini akan dihapus. Giovanni RibisiRibisi in December 2009LahirAntonino Giovanni Ribisi17 Desember 1974 (umur 49)Los Angeles, California, A.S.Nama lainVonni RibisiPekerjaanAktorTahun aktif1985–sekarangSuami/istriMariah O'Brien ​ ​(m. 1997; c. 2001)​Agyness Deyn ​ &...

 

Quartiere ValsesiaLocalizzazioneStato Italia RegioneLombardia LocalitàMilano Coordinate45°27′14.4″N 9°05′53.05″E / 45.454°N 9.09807°E45.454; 9.09807Coordinate: 45°27′14.4″N 9°05′53.05″E / 45.454°N 9.09807°E45.454; 9.09807 Informazioni generaliCondizioniIn uso CostruzioneAnni '70 UsoResidenziale RealizzazioneCommittenteACLI Modifica dati su Wikidata · Manuale Quartiere Valsesia è un complesso di edilizia residenziale di Milan...

Part of the LGBT rights seriesLegal status ofsame-sex unions Marriage Andorra Argentina Australia Austria Belgium Brazil Canada Chile Colombia Costa Rica Cuba Denmark Ecuador Estonia Finland France Germany Greece Iceland Ireland Luxembourg Malta Mexico Nepal Netherlands1 New Zealand2 Norway Portugal Slovenia South Africa Spain Sweden Switzerland Taiwan United Kingdom3 United States4 Uruguay Recognized Israel5 Civil unions andregistered partnerships Bolivia Croatia Cyprus Czech Republic Hunga...

 

Iraqi Shia militia Kata'ib Sayyid al-Shuhadaكتائب سيد الشهداءKata'ib Sayyid al-Shuhada flag and logoLeadersAbu Ala al-Walai[1]Abu Mustafa al-Sheibani[2]Dates of operation2013–present[3]Allegiance IraqGroup(s) Liwa al-Sayyida Ruqayya (The Ja'afari Force)[4] Active regionsSaladin Governorate[5]Damascus Governorate[3]Daraa Governorate[3]IdeologyShia IslamismWilayat al Faqih[6]KhomeinismAnti-ZionismSize10,0...

 

Alexandre DubuqueAlexandre DubuqueBiographieNaissance 20 février 1812MoscouDécès 8 janvier 1898 (à 85 ans)MoscouSépulture Cimetière VagankovoNationalité françaiseActivités Compositeur, professeur d'université, pianiste, professeur de musiqueAutres informationsA travaillé pour Conservatoire Tchaïkovski de MoscouMouvement Musique classiqueInstrument PianoMaître John FieldGenre artistique Musique classiquemodifier - modifier le code - modifier Wikidata Alexandre Ivanovitch ...

Chen QiPersonal informationNama lengkapChen QiKebangsaan TiongkokLahir15 April 1983 (umur 41)Nantong, Jiangsu, ChinaGaya bermainLeft-handed, All round player Rekam medali Putra Tenis meja Mewakili  Tiongkok Olympic Games 2004 Athens Doubles World Championships 2006 Bremen Team 2007 Zagreb Doubles 2008 Guangzhou Team 2009 Yokohama Doubles 2011 Rotterdam Doubles 2005 Shanghai Doubles Chen Qi (Hanzi sederhana: 陈玘; Hanzi tradisional: 陳玘; Pinyin: Chén Qǐ; lahir...

 

Place in Buenos Aires, ArgentinaVilla MaipúVilla MaipúLocation in Greater Buenos AiresCoordinates: 34°34′S 58°32′W / 34.567°S 58.533°W / -34.567; -58.533Country ArgentinaProvince Buenos AiresPartidoGeneral San MartínElevation28 m (92 ft)Population (2001 census [INDEC]) • Total24,447CPA BaseB 1650Area code+54 11 Villa Maipú is a localidad (district) of the General San Martín Partido in Buenos Aires Province, Argentina. It for...

 

نقل ثلاثي الأطوار. محول ثلاثي الأطوار بأربعة أسلاك خرج، سلك للمحايد وثلاثة للـ A وB وC. النظام الكهربائي ثلاثي الطور (بالإنجليزية: Three-phase electric system)‏ هو نظام كهربائي متعدد الأطوار خاص بالتيار المتردد وهو المستعمل والأكثر شيوعا في محطات الطاقة التي تنتج الكهرباء. وسميت ثلاثية ...

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Honda Elite – news · newspapers · books · scholar · JSTOR (April 2023) (Learn how and when to remove this message) The Honda Elite is a series of scooters manufactured by Honda since 1983. Honda currently makes the 108 cc (6.6 cu in) 2010 Elite.&...

 

Basilika Santo NikolausBasilika Minor Santo Nikolausbahasa Prancis: Basilique de Saint-Nicolas-de-PortBasilika Santo NikolausLokasiSaint-Nicolas-de-PortNegaraPrancisDenominasiGereja Katolik RomaArsitekturStatusBasilika minorStatus fungsionalAktif Basilika Santo Nikolaus (bahasa Prancis: Basilique de Saint-Nicolas-de-Port) adalah sebuah gereja basilika minor Katolik yang terletak di Saint-Nicolas-de-Port, Prancis. Basilika ini ditetapkan statusnya pada 1950 dan didedikasikan kepada San...

 

توني لايستنر   معلومات شخصية الميلاد 19 أغسطس 1990 (العمر 33 سنة)درسدن  الطول 1.90 م (6 قدم 3 بوصة) مركز اللعب مدافع الجنسية ألمانيا  معلومات النادي النادي الحالي سينت ترويدن الرقم 37 مسيرة الشباب سنوات فريق Verkehrsbetriebe Dresden 0000–2008 SC Borea Dresden [الإنجليزية]‏ المسيرة ال�...

تفجيرات التلة الفرنسية 2002 جزء من الانتفاضة الفلسطينية الثانية المعلومات البلد إسرائيل  الموقع التلة الفرنسية  الإحداثيات 31°48′20″N 35°14′07″E / 31.805653°N 35.23532°E / 31.805653; 35.23532   التاريخ 19 يونيو 2002  نوع الهجوم عملية إنتحارية الخسائر الوفيات 7 مدنيين الإصابات ...

 

ホラーサーンコムギ 分類 界 : 植物界 Plantae 階級なし : 被子植物 angiosperms 階級なし : 単子葉類 monocots 階級なし : ツユクサ類 commelinids 目 : イネ目 Poales 科 : イネ科 Poaceae 属 : コムギ属 Triticum 種 : ホラーサーンコムギ T. turanicum 学名 Triticum turgidum ssp. turanicum[1] シノニム Gigachilon polonicum subsp. turanicum (Jakubz.) Á.Löve Triticum durum subsp. turanicum (Jakubz.) L.B.Cai T. orientale Perciv...