Wyniki wyszukiwania

…stera-Tarskiego_i_lemat_Banacha#Twierdzenie_o_faktoryzacji Logika i teoria mnogości, wykład 6. Funkcje, twierdzenie o faktoryzacji (...)]'', wazniak.mimuw.edu. * [[Jądro (teoria mnogości)]] …

…a Boole’a#zbiory niezależne|zbiór niezależny]] mocy <math>\kappa.</math> Z twierdzenia Balcara-Franka wynika, że zupełne algebry Boole’a mocy <math>\kappa</math> [[Kategoria:Twierdzenia teorii mnogości|Balcara-Franka]] …

…ci|teorii mnogości]] zapewniające (na gruncie [[Aksjomaty Zermela-Fraenkla|teorii ZFC]]), że na każdym [[zbiór|zbiorze]] można wprowadzić [[dobry porządek|re : Jest tak, gdyż z twierdzenia Zermela każdy z danych dwóch zbiorów można dobrze uporządkować, a zatem zgo …

…ycznej), tzn. antynomii wynikającej z nie dość precyzyjnego używania pojęć teorii. :* Z drugiej strony, na mocy [[twierdzenie Cantora|twierdzenia Cantora]] zbiór <math>\mathrm P(\mathbf Z)</math> ma moc istotnie większą… …

…e Bourbakiego-Witta o punkcie stałym''' – twierdzenie [[Częściowy porządek|teorii porządków]] mówiące, że jeżeli <math>(X, \leqslant)</math> jest [[Częściowy Korzystając z twierdzenia Bourbakiego-Witta (i [[aksjomat wyboru|aksjomatu wyboru]]), można udowodnić …

'''Twierdzenie Sikorskiego''' – twierdzenie teorii [[algebra Boole’a|algebr Boole’a]] mówiące, każdy [[homomorfizm]] z podalge …jest homomorfizmem. Z [[twierdzenie Stone’a o reprezentacji algebr Boole’a|twierdzenia Stone’a]] wynika, że istnieją takie izomorfizmy <math>s_\mathbb{A}\colon \m …

…wierdzenie Hartogsa''' – twierdzenie w [[aksjomaty Zermela-Fraenkla|teorii mnogości ZF]] (bez [[aksjomat wyboru|aksjomatu wyboru]]), udowodnione w 1915 roku pr [[Kategoria:Twierdzenia teorii mnogości|Hartogsa (teoria mnogości)]] …

…62''' (1956), s. 427–489.</ref> będące rozszerzeniem [[twierdzenie Ramseya|twierdzenia Ramseya]] na [[zbiór|zbiory]] odpowiednio dużej [[Moc zbioru|mocy]]. [[Kategoria:Twierdzenia kombinatoryki]] …

…nie o nieistnieniu badanego obiektu prowadzi do sprzeczności z założeniami twierdzenia. Z tego wyciąga się wniosek o istnieniu rozpatrywanego obiektu. Rozumowania Przykładem dowodu niekonstruktywnego jest dowód następującego twierdzenia: …

…ra-Tarskiego_i_lemat_Banacha#Twierdzenie_Knastra-Tarskiego Logika i teoria mnogości, Wykład 6. 7. Twierdzenie Knastra-Tarskiego], wazniak.mimuw.edu.pl, 19 paźd [[Kategoria:Twierdzenia teorii mnogości]] …

…które uznawane są za fundamentalne, a zarazem trudne do opisania językiem teorii<ref name="naukowiec">{{Cytuj stronę |url = http://www.naukowiec.org/wiedza/ * W [[Elementy Euklidesa|podanej przez Euklidesa]] teorii [[geometria euklidesowa|geometrii euklidesowej]] pojęciami pierwotnymi są… …

…unkcji|[[graf spójny|zbiór rozdzielający]] (rozspajający/rozspójniający) w teorii grafów}} …lające ułatwiają sformułowanie wariantu [[twierdzenie Stone’a-Weierstrassa|twierdzenia Stone’a-Weierstrassa]] dla funkcji o wartościach rzeczywistych na [[przestr …

…<ref>{{Cytuj |autor = Aleksander Błaszczyk, Sławomir Turek |tytuł = Teoria mnogości |data = 2007 |data dostępu = 2024-07-29 |isbn = 978-83-01-15232-1 |miejsce …<ref>{{Cytuj |autor = Aleksander Błaszczyk, Sławomir Turek |tytuł = Teoria mnogości |data = 2007 |data dostępu = 2024-07-29 |isbn = 978-83-01-15232-1 |miejsce …

…ności ciągów [[liczby naturalne|liczb naturalnych]]. Mimo że sformułowanie twierdzenia jest czysto arytmetyczne i względnie nieskomplikowane, twierdzenie to jest …e i zarazem niedowiedlnego na gruncie teorii liczb naturalnych. Dowód tego twierdzenia jest oparty na [[Arytmetyka liczb porządkowych|arytmetyce liczb porządkowyc …

…ia o mocy zbioru potęgowego|[[twierdzenie Cantora (ujednoznacznienie)|inne twierdzenia noszące nazwisko Cantora]]}} '''Twierdzenie Cantora''' – twierdzenie [[teoria mnogości|teorii mnogości]] udowodnione przez [[Georg Cantor|Georga Cantora]] mówiące, że każdy [[zbi …

realizuje tezę twierdzenia. * [[Aleksander Błaszczyk]], Sławomir Turek: ''Wstęp do teorii mnogości''. PWN, Warszawa, 2007, s. 289–290. …

'''Diament Jensena''' – zdanie w [[teoria mnogości|teorii mnogości]], oznaczane przez <math>\diamondsuit,</math> postulujące istnienie ciągu… Następujące twierdzenia są dowodliwe w <math>\mathbf{ZFC}{:}</math> …

'''Twierdzenie Erdősa-Dushnika-Millera''' – wariant [[twierdzenie Ramseya|twierdzenia Ramseya]] mówiący, że dla każdej [[Zbiór skończony|nieskończonej]] [[Moc zb …ath>\kappa = \omega</math>), to liczby <math>\omega</math> w sformułowaniu twierdzenia Erdősa-Dushnika-Millera nie można zastąpić przez <math>\omega + 1.</math> …

…tacji algebr Boole’a''' – jedno z podstawowych [[Twierdzenie|twierdzeń]] w teorii [[Algebra Boole’a|algebr Boole’a]], mówiące, że …at wyboru|aksjomatu wyboru]] – mianowicie [[twierdzenie o ideale pierwszym|twierdzenia o ideale pierwszym]]. …

…nusz | autor link2 = Janusz Onyszkiewicz |tytuł = Elementy logiki i teorii mnogości w zadaniach |wydawca = [[Wydawnictwo Naukowe PWN]] |miejsce = Warszawa |dat …akowski | autor link3 = Wojciech Żakowski | tytuł = Matematyka. Definicje, twierdzenia, przykłady, zadania | seria = Podręczniki akademickie. Elektronika, informa …