1 Halmazok megadása Halmazelmélet 145. Amikor a halmazt körülírással vagy valamilyen tulajdonságával adjuk meg, bármilyen elemrôl egyértelmûen el kell tudnunk dönteni, hogy beletartozik a halmazba vagy sem. Ezért nem határoznak meg halmazt az a), b), l) körülírások Save this PDF as: WORD PNG TXT JPG. Méret: px Halmazelmélet 1. előadás Farkas István DE ATC Gazdaságelemzési és Statisztikai Tanszék Halmazelmélet p. 1/1 A halmaz fogalma, jelölések A halmaz fogalmát a matematikában nem definiáljuk, tulajdonságaiva Ebben a tanegységben megismerkedhetsz a véges és végtelen halmazok fogalmával, fontos halmazelméleti fogalmakkal, mint alaphalmaz, részhalmaz, komplementer halmaz. Foglalkozunk a halmazok számosságával is Halmazok/2 Halmazok Alapfogalmak:halmaz, halmazeleme Jelölés: A ,a A Üres halmaz: nincs egyetlen eleme sem. Jel.: , , Egyenlő halmazok: A B , ha a két halmaznak az elemei ugyanazok. Részhalmaz: Az A halmaz részhalmaza a B halmaznak, ha A minden eleme elemeB-nek is. Jel.: A B Valódi részhalmaz: Az A halmaz valódi részhalmaza a A halmazelmélet alapfogalmai, halamzok megadása. Eszköztár: Halmaz eleme, üres halmaz, elemek felsorolása. A halmaz annyira alapvető és egyszerű fogalom, hogy egyszerűbbre nem tudjuk visszavezetni, nem tudjuk definiálni. A halmazt alapfogalomnak tekintjük
Gyakorló feladatok halmazokra 1) Add meg a következő halmazok elemeit! A:= {2012 számjegyei} A = B:= {MATEMATIKA szó betűi} B = C:= {az első öt páratlan szám} C 20 1. Halmazok; a matematikai logika elemei Ha pl. R a valós számok halmaza, R\{−1, 0, 1}jelenti azt a halmazt, amely a valós számok halmazából a −1, 0, 1 számok elhagyásával kelet
A halmazelmélet e paradigmája szerint a halmaz fogalma nincs matematikai precizitással meghatározva, hanem az ösztönös szemléletre támaszkodik. A naiv halmazelmélet ellentmondásokhoz, úgynevezett antinómiákhoz vezet. Ilyen például az a feltételezés, hogy létezik az összes halmazok halmaza Ebből a tanegységből megtanulod a halmazokkal való műveletek elvégzését, az alapműveletekkel való kapcsolatukat. Képes leszel gyakorlati problémákat felismerni, illetve megoldani halmazműveletek segítségével Matematikai logika és halmazelmélet WettlFerencelőadásaalapján 2015-09-07 Wettl Ferenc előadása alapján Matematikai logika és halmazelmélet 2015-09-07 1 / 2 Meghatározásai. A reláció alapvető fogalom a matematikában, de nem alapfogalom.Lehetséges a meghatározása más alapfogalmakra hagyatkozva. Ezáltal egy olyan reláció-fogalmat kapunk, amely nem feltétlenül felel meg mindenben a köznapi relációfogalomnak, de a matematikai szempontból hasznos, fontos tulajdonságokat a tudományos céloknak megfelelően tükrözi; tehát a. Halmazelmélet 1. el˝oadás Farkas István DE ATC Gazdaságelemzési és Statisztikai Tanszék Halmazelmélet - p. 1/1
Eredményes kutatások történtek a kombinatorikus halmazelmélet körében, elsősorban végtelen halmazrendszerek (3-hipergráfok) kromatikus számával, megszámlálhatónál nagyobb kromatikus rendszerek véges részrendszereivel kapcsolatban. Sikerult megoldani egy elhagyható véges rendszerekre vonatkozó régi nevezetes problémat: igazoltuk, hogy konzisztensen van két véges 3. /Makó Zita/Halmazelmélet/ <DIR> 2012.06.02 10:17 halmazelmélet.pdf b) 36 atlétából 22 kosarazik is, tehát 14-en csak atletizálnak. (1 pont) 70 tanuló sportol összesen, tehát 34 fő csak kosarazik. (2 pont A halmazelmélet nyelvezete elsõ pillantásra nagyon ``szegény''. Matematikai tanulmányaink viszont azt mutatják, hogy ez a szegénység csak látszólagos. Minden, amit az egyetemen tanultunk a halmazelmélet nyelvén megfogalmazható. Legtöbb egyetemi kurzus ennek formalizálásával kezdõdik
A halmazelmélet, mint matematikai szakterülete azonban csak a XIX. század során kezdett kialakulni. Előfutára Richard Dedekind német matematikus volt. A halmazelmélet megalapozója és megteremtője az 1870-es években a német Cantor volt. Ő a halmazokat úgy vizsgálta, hogy azokat függetlenítette elemeinek sajátosságaitól Szabó Lajos: Újabb adalékok a halmazelmélet kérdéseihez (Teocentrikus logika II.)/1 1Indulati elemek a természettudományban, amelyek kérdéseket tiltanak le.A jó értelemben vett hideg álláspont hiánya. A trinitárius felfogás: természettudományos felfogás. A tapasztalat önkényes kettéosztása vagy több részre osztása és nyílt cenzurázása, indokolatlan cen DebreceniEgyetem InformatikaiKar Logika feladatgyűjtemény 2005.május19. Készítette: LengyelZoltán lengyelz@inf.unideb.h halmazelmélet A halmazok és a közöttük fennálló kapcsolatok tanulmányozása, amit Cantor kezdett kiépíteni. halmazok egyenlősége [] Halmazelmélet axiómarendszere A matematika axiómatikus felépítése és a matematika fejődésében jelentős állomás volt a halmazelméleti axiómarendszer megfogalmazása. ~ Â- Naiv ~ Axiomatikus ~ Â- Matematikai logik
Halmazelmélet BSc reguláris óra eloadas: szerda 8.30-10, 1 em 820 gyakorlat: szerda 11-1. Vizsgatematika: html, pdf Tankonyv: Hajnal Andras, Hamburger Peter: Halmazelmélet Jegyzet (reszben fedi az anyagot): pdf Leadott anyag Hajnal, Péter: Gráfelmélet/diszkrét matematika MSc hallgatók számára. (2018) [Tanítási erőforrások, tanulási objektumok Az axiómatikus halmazelmélet és az antinómiák: 298: A halmazelmélet más axiómarendszerei: A Zermelo-Fraenkel-féle axiómarendszer: 301: A Neumann-féle axiómarendszer: 303: A halmazelmélet axiómarendszereinek kritikája: A kiválasztási axióma körüli viták: 309: Az egyenlőtlenség fogalmával kapcsolatos nehézségek: 31 Halmazelmélet (halmazműveletek; megszámlálható és kontinuum számosságú halmazok; rendezett halmazok; számosságok és rendszámok) 2. Matematikai logika (ítéletkalkulus, normálformák; Boole-függvények; elsőrendű nyelvek és struktúrák; teljességi és nemteljességi tétel) 3 Halmazelmélet Óraszám (ea+gy): 2 + 0 Szakirány: matematikus Kredit (ea+gy): 2 + 0 Számonkérés: kollokvium Tárgykód (ea, gy): halmaz1m0mm17ea Ajánlott félév: 4 Státusz: kötelező Tantárgyfelelős Komjáth Péter, Számítógéptudományi Tanszék, Matematikai Intézet. Előfeltételek Az előadás előfeltételei
Valós euklideszi tér (pdf) Diagonalizálás, hasonlóság, Kvadratikus alak (pdf) (Gram-Schmidt ortogonalizáció, rang, merőleges kiegészítő (pdf) DM . Kombinatorika (pdf) Logika elméleti összefoglaló az előadó oldalán (pdf) Nulladrendű logika(pdf) Struktúrák (pdf) Halmazelmélet (pdf) Relációk (pdf) Rendezés, Hasse-diagramm. A halmazelmélet - a matematikai logikával együtt - a matematika legalapvetőbb tudományága, mely a halmaz fogalmát tanulmányozza.[mj 1] For faster navigation, this Iframe is preloading the Wikiwand page for Halmazelmélet interpretálása a fuzzy halmazelmélet segítségével Classification of loesses and palaeosols on the hasis of sedimentological and geochemical parameters interpreted with the help of fuzzy set theory ÚJVÁRI Gábor1 (6 ábra, 9 táblázat) Tárgyszavak: fuzzy halmazelmélet, Mamdani típusú fuzzy következtetési rendszer, lösz, paleotalaj
Halmazelmélet és nyelvmatézis/1 1947. IX. 17. Szabó Lajos (a továbbiakban Sz. L.).: A halmazelmélet a tetszés-szerintiségre megy vissza. Diagnózisunk szerint ez patologikus tetszés-szerintiség. Itt szuperatomizmusról van szó, bábeli igényről: a halmazelmélet atomizmusokból akarj Már gyűjtött adatokat több mint 378,640 kulcsszavak. Files.szt.ektf.hu weboldalt találtak a keresési eredmények között 28-szor.Ez lehetővé teszi, hogy végre mélyreható kulcsszó elemzés, hogy érdekes bepillantást, a kutatás versenytársak
Logika 1.1. H, H, I, H, I, H, I, I 2.- Odakint nem süt a nap, vagy nem esik az esõ. - Az ördög nem veri a feleségét, és nem alszik. - Kásás nem dob mellé, vagy a 9 I. Halmazelmélet 1. Adott az A, B és C halmaz: A := {1; 2; 3} B := {0; 2; 4; 6} C := {1; 2; 3; 5; 6 } A B = (A B) C = A B = (A B) C
matematika_vl.pdf: Érettségi témakörök Halmazelmélet. Halmazelméleti alapfogalmak. Halmazműveletek, műveleti tulajdonságok. A halmazfogalom és a halmazműveletek használata a matematika különböző területein (pl. számhalmazok, ponthalmazok). Logika Sallai Gyöngyi jegyzete pdf file December 13. Igen sok más eredményem is van számelméletből, talán egyik legjelentősebb eredményem a közös munkánk Kaccal, mely talán egyik elindítója volt a valószínűségszámítás alkalmazásának számelméletben és mely remélem a szerzőket századokkal fogja túlélni az egyes tantárgyak. keretében elsajátítandó ismeretanyag rövid, (néhány soros) leírása, valamint minden tantárgyhoz a 3-5 legfontosabbnak ítélt kötelező, illetve ajánlot
általános halmazelmélet axiomatikus felépítéséhez címmel. Édesapja számára azonban a matematikai tanulmányok még nem voltak elegendők ahhoz, hogy biztosítva lássa János fia jövőjét, így valami gyakorlatiasabb tudományt is akart tanítattni a fiával, például kémiát Matematika tananyag kilencedik osztályos diákok számára
Halmazelmélet/Teljes Indukció (2011) [PDF] Sz. Bela and B. Juettler. Approximating Algebraic Space Curves by Circular Arcs. Curves and Surfaces - 7th International Conference, Avignon 2010, Springer, J.-D. Boissonat et al., Lecture Notes in Computer Science 6920, pp. 157-177 (2012) see also DK Report 2010-12 Halmazelmélet Gráfelmélet Matematikai logika Valószínűségszámítás Játékelmélet Statisztika Kriptográfia Információelmélet Tudománytörténet. Set theory (Halmazelmélet) Komjáth 5 Discrete mathematics (Véges matematika) Elekes 4 Symmetry (Szimmetria) Darvas 5 Average: 4.60 Autumn 2001-02 Algebra (Algebra) Kiss 5 5 Analysis (Analízis) Szilágyi 5 4 Number theory (Számelmélet) Sárközy 4 5 Symbolic programming (Szimbolikus programozás) Márkus Sashalminé Kelemen Éva: A matematikai logika és a halmazelmélet elemei. Líceum Kiadó, 1996. Pásztorné Varga Katalin, Várterész Magda: A matematikai logika alkalmazás szemléletű tárgyalása. Panem Kiadó, Budapest 2000. 5. Évközi ellenőrzés módj m 0 0,2 0,4 0,6 0,8 1 x µ • ahol m neve:modális érték. • Normális fuzzy halmaz definíciója: LegyenF fuzzy halmaz értelmezve X-en és ha létezik H(F) (x) = max m F, x ∈X ésH(F) = 1, akkorF normált fuzzy halmaz, egyéb esetben szubnormális. • Support, tolerancy: F fuzzy értelmezve van X halmazon, ekkor S(F) {x X | (x)} = ∈ m F > 0 mind támogatják a fuzzy.
05_sain_melleklet.pdf 11 Mbyte: SZÍNES KÉPMELLÉLETEK: 06_sain_433-538.pdf 40 Mbyte: AZ EURÓPAI MATEMATIKA KÖZÉPKORA : 433: A középkori Európa : 435 : Valóban olyan sötét? 435: Az V-IX. század kiemelkedő matematikusai: Boethius, Beda Venerabilis, Alcuinus, Gerbert : 43 A diákok nagy örömére a halmazelmélet már nem kötelező anyagrész. Az öcsém mindig meggyőzi aput a maga igazáról. Munkálatok előtt nagyapa mindig megreszeli a szerszámokat. 10. Írjon a pontok helyére testrészneveket úgy, hogy a megadott betűkkel, szótöredékekkel összeolvasva értelmes szavakat kapjon
Év, oldalszám:2011, 5 oldal Letöltések száma:56 Feltöltve:2017. június 3. Méret:594 KB Intézmény:- Csatolmány:- Letöltés PDF-ben:Kérlek jelentkezz be Ennek eredménye a halmazelmélet új ágának, a kombina-torikus halmazelméletnek megteremtése lett. 1960-ban - ezúttal egyedül (Hajnal, 1961) - sikerült bebizonyítania Stanisław Ruziewicz 1937-ből származó neveze-tes sejtését, ami a halmazleképezések elméletének legfontosabb nyitott problémá számításra és szigorú matematikai szabályokra épülő többértékű halmazelmélet, ill. fuzzy logika lehetővé teszi a természetes rendszerek elemeinek és mért értékeinek sajátságaihoz alkalmazkodó, valósághű rendszerezését, értelmezését, valamint kezelését. Megkönnyíti Halmazelmélet 1.2.1. A halmazelmélet alapfogalmai A halmaz: Halmaznak a közös tulajdonsággal rendelkező dolgok összességét értjük. Jelölése általában nagybetűvel történik, míg halmaz elemét pedig kisbetűvel jelöljük. A halmaz megadható a közös tulajdonság megadásával, ill. elemeinek felsorolásával. Jelölések
A középiskolai tananyaghoz kapcsolódó fogalmak, tételek. Kedves Látogató! A Matematikusok arcképcsarnoka a középiskolai tananyag tükrében című. A magántanárnál sokkal jobb. Nem izgul a gyerek, ha nem érti azonnal a magyarázatot, meg lehet állítani, visszanézni, gyakorolni. Különösen jó, hogy azonnali visszajelzést kap arról, hogy mit tud jól, mit kell többet gyakorolnia I. Halmazelmélet 1. Műveletek halmazokkal: - Unió - Metszet - Különbség II. Számhalmazok 1. Műveletek az egész számok halmazán 2. Műveletek a racionális számok halmazán (műveletek törtekkel) 3. Műveleti sorrend III. Arányok, százalékszámítás 1. Egyenes arányosság 2. Fordított arányosság 3. Százalékszámítás IV Halmazelmélet, gráfos feladat és trigonometria is szerepel a matematika érettségi írásbeli tételei között az eduline.hu értesülései szerint. Az oktatási portál azt írta a kedd reggeli vizsgákról, hogy 12 feladatot kaptak a diákok a matematika érettségi első részében A leíró halmazelmélet egy másik központi fogalma a függvények Baire-hierarchiája. Jelölje B0(X) az X téren értelmezett folytonos, valós értékű függvények halmazát. A Baire-osztályok, a Borel-osztályokhoz hasonlóan, indukcióval definiálhatóak. Legyen ξ < ω1 rendszám
HALMAZELMÉLET FOGALMAK, JELÖLÉSEK A halmazok jelölésére általában az ábécé nagybetûit, a halmaz elemeinek a jelölésére pedig az ábécé kisbetûit használjuk. a Œ H azt jelöli, hogy az a betûvel jelölt dolog eleme a H betûvel jelölt halmaznak. a œ H azt jelöli, hogy az a betûvel jelölt dolog nem eleme a H betûvel. Tantárgy adatlap 1.1 1. oldal Tantárgy: Halmazelmélet Budapesti Műszaki és Gazdaságtudományi Egyetem Természettudományi Kar TANTÁRGY ADATLAP Tantárgy kód BMETE91AM07 Tantárgy azonosító adatok 1. A tárgy címe Halmazelmélet 2. A tárgy angol címe Set Theory 3. A tárgy rövid címe Halmazelmélet Követelmény 2 + 0 + 0 v. elemzése www.1over137group.org, ez téma (Naiv halmazelmélet, Lorentz-invariáns), és a fő versenytársak (sze.hu, termeszetvilaga.hu, komal.hu A logaritmus fogalma és azonosságai . . . . . . . . . . . . . . . . . . . . . . . . . . . .129 Nehezebb feladatok a témakörbôl. A halmazelmélet és a matematikai logika alapjainak tanítása 1. A számfogalom kialakítása, felépítése. A műveletek, struktúrák alapjai a természetes számoktól a komplex számokig 1. Számelmélet, oszthatóság, számrendszerek 1. A klasszikus algebra elemei. Algebrai kifejezések, polinomok, algebrai egyenletek, egyenlőtlenségek
statisztika, halmazelmélet, stb.), nyelvészet . Történeti betekintés Alan Turing 1950: a Turing teszt (gondolatkísérlet) gépi fordítás/kódolás igénye - mesterséges intelligencia 60-as évek: a számítógépes fordítás 1. sokkal lassabb, 2. sokkal drágább Matematika 9. évfolyam I. Halmazelmélet Számok áttekintése. Számhalmazok. Műveletek a racionális számkörben. Halmazelméleti alapfogalmak Request PDF | On Jan 1, 2004, Marcus Andrei and others published Logika és halmazelmélet | Find, read and cite all the research you need on ResearchGat Matematika tananyag nyolcadik osztályos diákok számára. Egyenletek, egyenlőtlenségek megoldása algebrai és grafikus úton. A Pitagorasz tétel, és alkalmazása. Hasonlósági trasnszformáció
PDF 2013_Bogdán_Ilona_Katalin_BOISAAT_SZE_SZ.pdf Hozzáférés joga: Csak nyilvántartásba vett egyetemi IP-kről nyitható meg Megtekintés (449kB 3.2. A matematika formalista felfogása . . . 8 3.3. Matematikai elmélet mint formális rendszer . . . . 10 3.4. Ha a matematika csak jelentés nélküli szimbólumok Doktori iskola: Miskolci Egyetem. Gépészmérnöki Kar. Hatvany József Informatikai Tudományok Doktori Iskol
A halmazelmélet mint a matematikai alapjának alternatívájaként szolgáló formális rendszer, célja a paradoxonok elkerülése. [4::33] Halmazelmélet → típuselmélet: Russell-paradoxon Nevezzünk egy halmazt rendes halmaznak, ha nem tartalmazza önmagát elemként. Legyen R az összes rende Megjegyzés a halmazelmélet Gödel-féle axiómarendszeréhez ll.* HAJNAL ANDRÅS és KALI'Y4ÅR LÅSZLó 5. Az említett metatétel bizonyításának gondolatmenete az, hogy elóször a legegyszerübb, az &, -n és (Ek) jeleket nem tar- talmazó feltételekre bizonyítjuk be a megfelelö osztály létezését Kombinatorikus halmazelmélet: kofinális zárt halmazok, stacionárius halmazok, delta-rendszerek, fák Tranzitív modellek: belső modellek, abszolútság Nagy számosságok: mérhetőség, elemi beágyazások és ultrahatványo A ZF halmazelmélet szokásos fölépítéseiben a halmazoknak nincsenek más elemi, mint az üres halmaz és annak halmazai, és annak újabb halmazai a végtelenségig. Ez elegendő a matematikus számára, hogy megkonstruálja a legkülönfélébb struktúrákat és érdekes összefüggéseket mutasson ki azok között
12. (a)Abdul,akimelegéghajlatonél,atevéjévelközlekedik.Tevéje,Tibi,azonbanelfelejtetteleget inni,mielőttAbbádiábólBakkarábaindultak. 1 ea. Halmazelmélet. Komplex számok, algebrai alak, trigonometrikus alak, műveletek (összeadás, kivonás, szorzás, osztás) algebrai és trigonometrikus alakokban. n-edik hatvány kiszámolása, n-edik gyök ki-számolása a trigonometrikus alak felhasználásával. Egyenletek C25 Leíró halmazelmélet 3+2 4+3 Laczkovich Miklós 2. Matematikus mesterszak záróvizsgatárgyak C26 Lineáris parciális differenciálegyenletek 2+2 3+3 Simon László. A halmazelmélet alapfogalmai. Részhalmaz. Halmazműveletek és tulajdonságaik. Relációk és leképezések. Algebrai struktúrák. Algebrai műveletek és tulajdonságaik. Nevezetes struktúratípusok. Csoport, gyűrű, szabad félcsoport és csoport. Permutációcsoport. Az asszociativitás és a disztributivitás következményei. Boole.
1 Created by XMLmind XSL-FO Converter. 1. fejezet - A biostatisztika matematikai alapjai 1. 1. Bevezető gondolatok, ajánlások és követelmények A modul célja a középfokú matematikai ismeretek összefoglalása és továbbfejlesztése Abstract. Eredményes kutatások történtek a kombinatorikus halmazelmélet körében, elsősorban végtelen halmazrendszerek (3-hipergráfok) kromatikus számával, megszámlálhatónál nagyobb kromatikus rendszerek véges részrendszereivel kapcsolatban Halmazelmélet. Relációk, függvények. Részben rendezés. Halmazok számossága. Kombinatorika. A számfogalom felépítése a Peano-axiómáktól a komplex számokig. A számelmélet alaptétele. Lineáris kongruenciák, kongruencia-rendszerek. Az RSA eljárás
P/FIL/LTF-10 - Halmazelmélet (Set Theory) Sets and classes. The Zermelo-Fraenkel set theory. Set operations, subsets, power set, direct product. Relations, functions, operations on relations. Replacement, infiniteness, regularity, the axiom of choice. Numbers and sets, ordinals and cardinals. Well-orderedness and other equivalents of the axiom. halmazelmélet, kombinatorika, matematikai logika, operációkutatás, számelmélet, valószínűség-számítás, statisztika területeiről. Ezen belül legfeljebb 10 kredit tartalomban beszámíthatók kiterjedt matematikai apparátusra épülő más tárgyak ismeretei is. illetve a felsőoktatásról szól KÉRI LÁSZLÓ: Gyémántszilárdság [eKönyv: pdf, epub, mobi] 0% kedvezménnyel csak 1190 Ft a lira.hu-nál. (Nemzetközi; kiadás éve: 2012; oldal) Olvasson bele a könyvbe a halmazelmélet és az analízis között. Az első fejezetben ez a kapcsolat még klasszikus, hi-szen a fejezet témája a leíró halmazelmélet, amely halmazelmélet és az analízis határterüle-te. Azonban a második fejezetben már számos újszerű kapcsolatot mutatunk be. Néhány
5. Halmazelmélet 5.1 Szemléletes feladatok a végtelen 2002. december matematikai fogalmának kialakításához 5.2 A halmazok témakörének tanítása I. 2004. december 5.3 A halmazok témakörének tanítása II. 2005. március 6. Gráfelmélet 6.1 Poliéderek, gráfok és Euler tétele 2006. március 6.2 A hálózatok matematikája 2007. A különbözıesemények közötti kapcsolatot a halmazelmélet segítségével írhatjuk le. Események Tegyük fel, hogy A és B két esemény az S eseménytérb ıl. Ekkor a következ ıalapvet ıösszefüggéseket definiálhatjuk: (A unió B): A vagy B esemény bekövetkezik (A és Halmazelmélet vizsgakérdések 1. A ∼ reláció. A kiválasztási axióma és egyszerű következményei: megszámlálható sok megszámlálható halmaz uniója is megszámlálható. 2. A ≤ B definíciója és alaptulajdonságai (kompatibilitás, reflexivitás, tranzitivitás). 3. A Bernstein-féle antiszimmetria tétel. 4 fuzzy halmazelmélet műveletei a bináris műveletekhez vezetnek. Az említett nem felügyelt tanulású hálózatokon kívül, léteznek az ART-n alapuló felügyelt tanulású architektúrák, például az ARTMAP, amely egy vagy több fent említett nem felügyelt tanulású ART modulból áll [13]. [14]-[17 változataival ismerkedünk meg. NF a standard Zermelo-Fraenkel halmazelmélet (ZF) legfontosabb alternatívája. Axiómáit Quine az 1937-es New Foundations for Mathematical Logic című cikkében vezette elő; innen az elnevezés. A ZF és NF közötti legfontosabb különbség az, hogy az utóbbiban létezik univerzális halmaz é 16 Halmazelmélet 15.1 Naiv halmazelmélet - formális (axiomatikus) halmazelmélet 15.2 A halmazelmélet (ZF) axiómái _____ Az előadás jegyzete: [PDF] (2007. 04. 16.) Ajánlott olvasmányok. J. N. Crossley, et al., What is Mathematical Logic?, Dover Publications, New York, 1990. (A könyv fénymásolata 5 példányban elérhető a Fizikus.