Logo
Unionpedia
Komunikacja
pobierz z Google Play
Nowy! Pobierz Unionpedia na urządzeniu z systemem Android™!
Darmowy
Szybszy dostęp niż przeglądarce!
 

Aksjomat ekstensjonalności

Indeks Aksjomat ekstensjonalności

Aksjomat ekstensjonalności, aksjomat jednoznaczności, aksjomat równości – jeden z aksjomatów Zermela-Fraenkla w aksjomatycznej teorii mnogości, sformułowany przez Ernsta Zermela w 1908 roku.

17 kontakty: Aksjomaty Zermela-Fraenkla, Andrzej Mostowski (matematyk), Ernst Zermelo, Formuła logiczna, Izomorfizm, John von Neumann, Kazimierz Kuratowski, Klasa (matematyka), Kolaps Mostowskiego, Kurt Gödel, Paul Bernays, Relacja (matematyka), Relacja dobrze ufundowana, Teoria mnogości, Tomáš Jech, Zbiór, Zbiór przechodni.

Aksjomaty Zermela-Fraenkla

Aksjomaty ZermelaW literaturze przedmiotu dominuje dopełniacz nazwiska w postaci nieodmienionej, czyli „aksjomaty Zermelo”, co jest niezgodne z polskimi zasadami deklinacji; sporadycznie pojawia się, również niepoprawna, forma „Zermeli”.

Nowy!!: Aksjomat ekstensjonalności i Aksjomaty Zermela-Fraenkla · Zobacz więcej »

Andrzej Mostowski (matematyk)

Andrzej Stanisław Mostowski (ur. 1 listopada 1913 we Lwowie, zm. 22 sierpnia 1975 w Vancouver) – polski matematyk zajmujący się głównie fundamentami matematyki, przedstawiciel warszawskiej szkoły matematycznej.

Nowy!!: Aksjomat ekstensjonalności i Andrzej Mostowski (matematyk) · Zobacz więcej »

Ernst Zermelo

Ernst Zermelo we Fryburgu, 1953 Ernst Friedrich Ferdinand Zermelo (ur. 27 lipca 1871 w Berlinie, zm. 21 maja 1953 we Fryburgu Bryzgowijskim) – niemiecki matematyk.

Nowy!!: Aksjomat ekstensjonalności i Ernst Zermelo · Zobacz więcej »

Formuła logiczna

Formuła logiczna – określenie dozwolonego wyrażenia w wielu systemach logicznych, m.in.

Nowy!!: Aksjomat ekstensjonalności i Formuła logiczna · Zobacz więcej »

Izomorfizm

Izomorfizm (gr. isos – równy, morphe – kształt) – funkcja wzajemnie jednoznaczna (bijekcja) z jednego obiektu matematycznego w drugi, która zachowuje funkcje, relacje i wyróżnione elementy.

Nowy!!: Aksjomat ekstensjonalności i Izomorfizm · Zobacz więcej »

John von Neumann

John von Neumann, właściwie János Lajos Neumann (ur. 28 grudnia 1903 w Budapeszcie, zm. 8 lutego 1957 w Waszyngtonie) – węgiersko-amerykański uczony pochodzenia żydowskiego; matematyk, informatyk, fizyk i inżynier chemik.

Nowy!!: Aksjomat ekstensjonalności i John von Neumann · Zobacz więcej »

Kazimierz Kuratowski

Kazimierz Kuratowski, do roku 1921 Kazimierz Kuratow (ur. 2 lutego 1896 w Warszawie, zm. 18 czerwca 1980 tamże) – polski matematyk, jeden z czołowych przedstawicieli warszawskiej szkoły matematycznej, profesor zwyczajny związany z Uniwersytetem Warszawskim i Instytutem Matematycznym Polskiej Akademii Nauk (IM PAN).

Nowy!!: Aksjomat ekstensjonalności i Kazimierz Kuratowski · Zobacz więcej »

Klasa (matematyka)

Klasa – wielość obiektów, która może być określona przez własność posiadanąprzez wszystkie jej elementy.

Nowy!!: Aksjomat ekstensjonalności i Klasa (matematyka) · Zobacz więcej »

Kolaps Mostowskiego

Kolaps Mostowskiego (kolaps przechodni) – zbiór przechodni, który wraz z relacjąnależenia jest izomorficzny z danąufundowanąrelacjąekstensjonalną.

Nowy!!: Aksjomat ekstensjonalności i Kolaps Mostowskiego · Zobacz więcej »

Kurt Gödel

Kurt Gödel (wym. niem., ur. 28 kwietnia 1906 w Brnie, zm. 14 stycznia 1978 w Princeton) – austriacko-amerykański naukowiec: matematyk, fizyk teoretyk i filozof, specjalizujący się w logice matematycznej i teorii mnogości, zajmujący się również teoriąwzględności i filozofiąmatematyki.

Nowy!!: Aksjomat ekstensjonalności i Kurt Gödel · Zobacz więcej »

Paul Bernays

Paul Isaac Bernays (ur. 17 października 1888, zm. 18 września 1977) – szwajcarski matematyk, który wniósł znaczący wkład w logikę matematyczną, aksjomatycznąteorię mnogości i filozofię matematyki.

Nowy!!: Aksjomat ekstensjonalności i Paul Bernays · Zobacz więcej »

Relacja (matematyka)

Relacja – dowolny podzbiór iloczynu kartezjańskiego skończonej liczby zbiorów; definicja ta oddaje intuicję pewnego związku, czy zależności między elementami wspomnianych zbiorów (elementy wspomnianych zbiorów pozostająw związku albo łączy je pewna zależność, czy też własność lub nie).

Nowy!!: Aksjomat ekstensjonalności i Relacja (matematyka) · Zobacz więcej »

Relacja dobrze ufundowana

Relacja dobrze ufundowana – relacja > (zwykle częściowy porządek), dla której nie istnieje nieskończony zstępujący ciąg \;a_1 > a_2 > a_3...

Nowy!!: Aksjomat ekstensjonalności i Relacja dobrze ufundowana · Zobacz więcej »

Teoria mnogości

zbiorów. Teoria mnogości, teoria zbiorów – dział matematyki zaliczany do jej działów podstawowych (fundamentalnych); bada on zbiory, zwłaszcza te nieskończone, a także ich uogólnienia jak klasy.

Nowy!!: Aksjomat ekstensjonalności i Teoria mnogości · Zobacz więcej »

Tomáš Jech

Tomáš Jech, Thomas Jech (ur. 19 stycznia 1944 w Pradze) - czeski matematyk specjalizujący się w teorii mnogości.

Nowy!!: Aksjomat ekstensjonalności i Tomáš Jech · Zobacz więcej »

Zbiór

Zbiór (dawniej także mnogość) – pojęcie pierwotne aksjomatycznej teorii mnogości (zwanej też teoriązbiorów) leżące u podstaw całej matematyki; idealizacja intuicyjnie rozumianego zbioru (zestawu, kolekcji) utworzonego z elementów (komponentów, składowych), która jest efektem abstrahowania od wewnętrznej struktury modelowanego obiektu i wzajemnych zależności między jego elementami (np. hierarchii, czy kolejności).

Nowy!!: Aksjomat ekstensjonalności i Zbiór · Zobacz więcej »

Zbiór przechodni

Zbiór przechodni, zbiór tranzytywny – zbiór A o tej własności, że jeżeli x\in A oraz y\in x, to y\in A. Innymi słowy, zbiór przechodni to zbiór o tej własności, że elementy jego elementów sąrównież jego elementami.

Nowy!!: Aksjomat ekstensjonalności i Zbiór przechodni · Zobacz więcej »

Przekierowuje tutaj:

Aksjomat jednoznaczności, Aksjomat równości.

TowarzyskiPrzybywający
Hej! Jesteśmy na Facebooku teraz! »