Logo
Unionpedia
Communicatie
Ontdek het op Google Play
Nieuw! Download Unionpedia op je Android™ toestel!
Downloaden
Snellere toegang dan browser!
 

Oneindigheidsaxioma

Index 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.

15 relaties: Axioma, Axiomatische verzamelingenleer, Existentie, Formele taal, Informatica, Lege verzameling, Logica, Natuurlijk getal, Oneindige verzameling, Singleton (wiskunde), Structurele inductie, Vereniging (verzamelingenleer), Verzameling (wiskunde), Wiskunde, Zermelo-Fraenkel-verzamelingenleer.

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!!: Oneindigheidsaxioma en Axioma · 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!!: Oneindigheidsaxioma en Axiomatische verzamelingenleer · Bekijk meer »

Existentie

Existentie betekent in de wiskunde en logica dat een eigenschap voor minstens één element van een verzameling geldt.

Nieuw!!: Oneindigheidsaxioma en Existentie · Bekijk meer »

Formele taal

De term formele taal heeft ten minste drie verwante betekenissen.

Nieuw!!: Oneindigheidsaxioma en Formele taal · Bekijk meer »

Informatica

Informatica richt zich op de theoretische grondslagen van informatie, de mechanische (automatische) verzameling en verwerking ervan, evenals de praktische toepassingen die eruit voortvloeien.

Nieuw!!: Oneindigheidsaxioma en Informatica · Bekijk meer »

Lege verzameling

Symbool voor de lege verzameling In de wiskunde is de lege verzameling de verzameling zonder elementen.

Nieuw!!: Oneindigheidsaxioma en Lege verzameling · Bekijk meer »

Logica

Boeken over logica Logica of redeneerkunst is de wetenschap die zich bezighoudt met de formele regels van het redeneren.

Nieuw!!: Oneindigheidsaxioma en Logica · Bekijk meer »

Natuurlijk getal

Een natuurlijk getal is een getal dat het resultaat is van een telling van een eindig aantal dingen, dus een van de getallen 0,1,2,3,4,5,\ldots De verzameling natuurlijke getallen wordt aangegeven met het symbool \N.

Nieuw!!: Oneindigheidsaxioma en Natuurlijk getal · Bekijk meer »

Oneindige verzameling

In de verzamelingenleer, een deelgebied van de wiskunde, is een oneindige verzameling een verzameling die geen eindige verzameling is.

Nieuw!!: Oneindigheidsaxioma en Oneindige verzameling · Bekijk meer »

Singleton (wiskunde)

Een singleton of eenpuntsverzameling is in de wiskunde een verzameling met precies één element.

Nieuw!!: Oneindigheidsaxioma en Singleton (wiskunde) · Bekijk meer »

Structurele inductie

Structurele inductie of structuurinductie is een bewijsmethode waarmee bewezen kan worden dat een bepaalde eigenschap geldt voor alle elementen van een inductief gedefinieerde verzameling.

Nieuw!!: Oneindigheidsaxioma en Structurele inductie · Bekijk meer »

Vereniging (verzamelingenleer)

right In de verzamelingenleer is de vereniging of unie van een collectie verzamelingen de verzameling die bestaat uit alle elementen van de samenstellende verzamelingen.

Nieuw!!: Oneindigheidsaxioma en Vereniging (verzamelingenleer) · Bekijk meer »

Verzameling (wiskunde)

Venndiagram van de doorsnede A\cap B van twee verzamelingen A en B In de wiskunde is een verzameling een abstract object dat het totaal voorstelt van verschillende objecten, die elementen van de verzameling genoemd worden.

Nieuw!!: Oneindigheidsaxioma en Verzameling (wiskunde) · Bekijk meer »

Wiskunde

Wiskunde (minder gebruikelijk: mathematiek, mathematica of mathesis) is een formele wetenschap die onder andere getallen, patronen en abstracte structuren bestudeert.

Nieuw!!: Oneindigheidsaxioma en Wiskunde · Bekijk meer »

Zermelo-Fraenkel-verzamelingenleer

In de verzamelingenleer, een deelgebied van de wiskunde, is de Zermelo-Fraenkel-verzamelingenleer, vernoemd naar de wiskundigen Ernst Zermelo en Abraham Fraenkel en vaak afgekort tot ZF, een van de verschillende axiomatische systemen, die in het begin van de twintigste eeuw werden voorgesteld om een verzamelingenleer te formuleren, zonder de paradoxen van de naïeve verzamelingenleer, zoals de paradox van Russell.

Nieuw!!: Oneindigheidsaxioma en Zermelo-Fraenkel-verzamelingenleer · Bekijk meer »

UitgaandeInkomende
Hey! We zijn op Facebook nu! »