25 relaties: Adolf Fraenkel, Atoom (logica), Axioma, Axiomaschema van afscheiding, Axiomatische methode, Axiomatische verzamelingenleer, Ernst Zermelo, Gelijkheidsaxioma, Grondslagen van de wiskunde, Inductieve verzameling, John von Neumann, Keuzeaxioma, Lege verzameling, Machtsverzameling, Naïeve verzamelingenleer, Oneindigheidsaxioma, Ordinaalgetal, Predicatenlogica, Russellparadox, Singleton (wiskunde), Thoralf Skolem, Verzamelingenleer, Welordeningsstelling, Wiskunde, Zermelo-verzamelingenleer.
Adolf Fraenkel
Adolf Fraenkel Abraham Halevi (Adolf) Fraenkel (Hebreeuws: אברהם הלוי פרנקל), meestal geciteerd als Abraham Fraenkel, (München, 17 februari 1891 - Jeruzalem, 15 oktober 1965) was een Duits-Israëlische wiskundige.
Nieuw!!: Zermelo-Fraenkel-verzamelingenleer en Adolf Fraenkel · Bekijk meer »
Atoom (logica)
Een atoom of atomaire formule in de logica is een logische formule die niet is opgebouwd uit subformules en dus ook geen logische operatoren bevat.
Nieuw!!: Zermelo-Fraenkel-verzamelingenleer en Atoom (logica) · Bekijk meer »
Axioma
Een axioma (of postulaat) is in de wiskunde en de logica, sinds Euclides en Aristoteles, een niet bewezen, maar als grondslag aanvaarde bewering.
Nieuw!!: Zermelo-Fraenkel-verzamelingenleer en Axioma · Bekijk meer »
Axiomaschema van afscheiding
In de axiomatische verzamelingenleer en de deelgebieden van de logica, de wiskunde, en de informatica die daar gebruik van maken is het axiomaschema van afscheiding een axiomaschema dat deel uitmaakt van de Zermelo-Fraenkel-verzamelingenleer.
Nieuw!!: Zermelo-Fraenkel-verzamelingenleer en Axiomaschema van afscheiding · Bekijk meer »
Axiomatische methode
De axiomatische methode is een wijze van argumentatie in de formele wetenschappen (m.n. wiskunde en logica) waarbij resultaten worden gepresenteerd als een reeks stellingen die een voor een worden afgeleid uit een stelsel van axiomata en definities.
Nieuw!!: Zermelo-Fraenkel-verzamelingenleer en Axiomatische methode · Bekijk meer »
Axiomatische verzamelingenleer
Als een axiomatische verzamelingenleer geldt elke axiomatisering van de verzamelingenleer die de bekende antinomieën van de naïeve verzamelingenleer vermijdt.
Nieuw!!: Zermelo-Fraenkel-verzamelingenleer en Axiomatische verzamelingenleer · Bekijk meer »
Ernst Zermelo
Ernst Zermelo in 1953 Ernst Zermelo c. 1900 Ernst Friedrich Ferdinand Zermelo (Berlijn, 27 juli 1871 - Freiburg im Breisgau, 21 mei 1953) was een Duits wiskundige en filosoof.
Nieuw!!: Zermelo-Fraenkel-verzamelingenleer en Ernst Zermelo · Bekijk meer »
Gelijkheidsaxioma
In de verzamelingenleer stelt het gelijkheidsaxioma, of de grondstelling van extensionaliteit, dat twee verzamelingen gelijk zijn als ze precies dezelfde elementen hebben.
Nieuw!!: Zermelo-Fraenkel-verzamelingenleer en Gelijkheidsaxioma · Bekijk meer »
Grondslagen van de wiskunde
Grondslagen van de wiskunde zijn de aannames, de grondbeginselen en de uitgangspunten van de wiskunde.
Nieuw!!: Zermelo-Fraenkel-verzamelingenleer en Grondslagen van de wiskunde · Bekijk meer »
Inductieve verzameling
In de wiskunde is een inductieve verzameling een verzameling die de lege verzameling bevat en van elk element ook de opvolger, waarbij de opvolger van een verzameling x de opvolgerverzameling x'.
Nieuw!!: Zermelo-Fraenkel-verzamelingenleer en Inductieve verzameling · Bekijk meer »
John von Neumann
John von Neumann in de periode dat hij voor het Manhattan project werkte, jaren 40-45 John von Neumann, Hongaars: Neumann János (Boedapest, 28 december 1903 - Washington D.C., 8 februari 1957) was een Hongaars-Amerikaanse wiskundige, die behalve op vele deelgebieden van de wiskunde, ook in de natuurkunde, computerwetenschappen, informatica en economie zeer belangrijke bijdragen leverde.
Nieuw!!: Zermelo-Fraenkel-verzamelingenleer en John von Neumann · Bekijk meer »
Keuzeaxioma
Het keuzeaxioma is een enigszins controversieel axioma uit de verzamelingenleer, dat in 1904 werd geformuleerd door Ernst Zermelo.
Nieuw!!: Zermelo-Fraenkel-verzamelingenleer en Keuzeaxioma · Bekijk meer »
Lege verzameling
Symbool voor de lege verzameling In de wiskunde is de lege verzameling de verzameling zonder elementen.
Nieuw!!: Zermelo-Fraenkel-verzamelingenleer en Lege verzameling · Bekijk meer »
Machtsverzameling
De machtsverzameling van een verzameling S, aangegeven door \mathcal(S) of 2^S, is de verzameling van alle deelverzamelingen van S. Het symbool \mathcal staat voor 'power', het Engelse woord voor 'macht'.
Nieuw!!: Zermelo-Fraenkel-verzamelingenleer en Machtsverzameling · Bekijk meer »
Naïeve verzamelingenleer
De naïeve verzamelingenleer is een van een aantal theorieën over verzamelingen, die worden gebruikt in de discussie over de grondslagen van de wiskunde.
Nieuw!!: Zermelo-Fraenkel-verzamelingenleer en Naïeve verzamelingenleer · Bekijk meer »
Oneindigheidsaxioma
In de axiomatische verzamelingenleer en de deelgebieden van de logica, de wiskunde, en de informatica die daar gebruik van maken is het oneindigheidsaxioma een van de axioma's van de Zermelo-Fraenkel-verzamelingenleer.
Nieuw!!: Zermelo-Fraenkel-verzamelingenleer en Oneindigheidsaxioma · Bekijk meer »
Ordinaalgetal
Representatie van de ordinalen tot en met ωω. Iedere omwenteling in de spiraal representeert een factor ω. In de verzamelingenleer is een ordinaalgetal of ordinaal een generalisatie van het begrip natuurlijk getal.
Nieuw!!: Zermelo-Fraenkel-verzamelingenleer en Ordinaalgetal · Bekijk meer »
Predicatenlogica
Predicatenlogica is wiskundig-formele logica waarin expliciet predicaten voorkomen, waarmee eigenschappen van en relaties tussen verzamelingen objecten worden beschreven.
Nieuw!!: Zermelo-Fraenkel-verzamelingenleer en Predicatenlogica · Bekijk meer »
Russellparadox
De russellparadox, ook antinomie van Russell genoemd, is een paradox in de naïeve verzamelingenleer over verzamelingen waarvan de elementen zelf ook weer verzamelingen zijn.
Nieuw!!: Zermelo-Fraenkel-verzamelingenleer en Russellparadox · Bekijk meer »
Singleton (wiskunde)
Een singleton of eenpuntsverzameling is in de wiskunde een verzameling met precies één element.
Nieuw!!: Zermelo-Fraenkel-verzamelingenleer en Singleton (wiskunde) · Bekijk meer »
Thoralf Skolem
Thoralf Skolem Albert Thoralf Skolem (Sandsvaer, 23 mei 1887 – Oslo, 23 maart 1963) was een Noorse wiskundige.
Nieuw!!: Zermelo-Fraenkel-verzamelingenleer en Thoralf Skolem · Bekijk meer »
Verzamelingenleer
verzamelingen. De verzamelingenleer vormt sinds het begin van de twintigste eeuw een van de grondslagen van de wiskunde.
Nieuw!!: Zermelo-Fraenkel-verzamelingenleer en Verzamelingenleer · Bekijk meer »
Welordeningsstelling
In de verzamelingenleer, een deelgebied van de wiskunde, is de welordeningsstelling of het welordeningsprincipe de uitspraak dat elke verzameling welgeordend kan zijn.
Nieuw!!: Zermelo-Fraenkel-verzamelingenleer en Welordeningsstelling · Bekijk meer »
Wiskunde
Wiskunde (minder gebruikelijk: mathematiek, mathematica of mathesis) is een formele wetenschap die onder andere getallen, patronen en abstracte structuren bestudeert.
Nieuw!!: Zermelo-Fraenkel-verzamelingenleer en Wiskunde · Bekijk meer »
Zermelo-verzamelingenleer
De Zermelo-verzamelingenleer is de eerste axiomatische verzamelingenleer; zij stamt van Ernst Zermelo en is door hem op 30 juli 1907 gedateerd.
Nieuw!!: Zermelo-Fraenkel-verzamelingenleer en Zermelo-verzamelingenleer · Bekijk meer »