This HTML5 document contains 1526 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-mrhttp://mr.dbpedia.org/resource/
dbpedia-svhttp://sv.dbpedia.org/resource/
n26http://dbpedia.org/resource/Set_Theory:
n46http://sco.dbpedia.org/resource/
n84http://ia.dbpedia.org/resource/
n124http://am.dbpedia.org/resource/
n62https://ghostarchive.org/varchive/youtube/20211031/
n85https://www.youtube.com/
dbpedia-alshttp://als.dbpedia.org/resource/
dbchttp://dbpedia.org/resource/Category:
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-sqhttp://sq.dbpedia.org/resource/
dbpedia-ukhttp://uk.dbpedia.org/resource/
n42http://hy.dbpedia.org/resource/
n104http://bn.dbpedia.org/resource/
dbpedia-glhttp://gl.dbpedia.org/resource/
dbpedia-thhttp://th.dbpedia.org/resource/
dbpedia-fihttp://fi.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
dbpedia-trhttp://tr.dbpedia.org/resource/
n116http://cv.dbpedia.org/resource/
n47http://yi.dbpedia.org/resource/
dbpedia-mkhttp://mk.dbpedia.org/resource/
dbpedia-afhttp://af.dbpedia.org/resource/
n98http://bs.dbpedia.org/resource/
freebasehttp://rdf.freebase.com/ns/
n96http://uz.dbpedia.org/resource/
dbpedia-idhttp://id.dbpedia.org/resource/
n121https://archive.org/details/settheoryintrodu0000kune/page/n13/mode/
goldhttp://purl.org/linguistics/gold/
n38http://sw.cyc.com/concept/
dbpedia-azhttp://az.dbpedia.org/resource/
dbpedia-nlhttp://nl.dbpedia.org/resource/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-hrhttp://hr.dbpedia.org/resource/
dbpedia-commonshttp://commons.dbpedia.org/resource/
dbpedia-bghttp://bg.dbpedia.org/resource/
dbpedia-euhttp://eu.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-dahttp://da.dbpedia.org/resource/
n60http://ky.dbpedia.org/resource/
n126http://ta.dbpedia.org/resource/
dbpedia-ochttp://oc.dbpedia.org/resource/
n105https://global.dbpedia.org/id/
n125http://www.iep.utm.edu/set-theo/
dbpedia-mshttp://ms.dbpedia.org/resource/
owlhttp://www.w3.org/2002/07/owl#
n29http://jv.dbpedia.org/resource/
dbpedia-anhttp://an.dbpedia.org/resource/
foafhttp://xmlns.com/foaf/0.1/
n22http://pa.dbpedia.org/resource/
n112https://plato.stanford.edu/entries/wittgenstein-mathematics/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-ishttp://is.dbpedia.org/resource/
dbpedia-shhttp://sh.dbpedia.org/resource/
n129http://ckb.dbpedia.org/resource/
dbpedia-cyhttp://cy.dbpedia.org/resource/
dbpedia-lahttp://la.dbpedia.org/resource/
dbpedia-vohttp://vo.dbpedia.org/resource/
dbpedia-srhttp://sr.dbpedia.org/resource/
dbpedia-pnbhttp://pnb.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
dbpedia-rohttp://ro.dbpedia.org/resource/
n81http://or.dbpedia.org/resource/
n108http://ast.dbpedia.org/resource/
dbphttp://dbpedia.org/property/
dbpedia-nohttp://no.dbpedia.org/resource/
dbpedia-huhttp://hu.dbpedia.org/resource/
dbpedia-swhttp://sw.dbpedia.org/resource/
n71http://ml.dbpedia.org/resource/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-simplehttp://simple.dbpedia.org/resource/
n127http://fo.dbpedia.org/resource/
dbpedia-behttp://be.dbpedia.org/resource/
n90http://hi.dbpedia.org/resource/
dbpedia-skhttp://sk.dbpedia.org/resource/
dbpedia-elhttp://el.dbpedia.org/resource/
dbohttp://dbpedia.org/ontology/
dbpedia-warhttp://war.dbpedia.org/resource/
n73https://plato.stanford.edu/entries/settheory-early/
dbpedia-kahttp://ka.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/
dbpedia-kkhttp://kk.dbpedia.org/resource/
dbpedia-gahttp://ga.dbpedia.org/resource/
n11http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-lbhttp://lb.dbpedia.org/resource/
dbpedia-cahttp://ca.dbpedia.org/resource/
n114http://tg.dbpedia.org/resource/
dbpedia-iohttp://io.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
dbpedia-pmshttp://pms.dbpedia.org/resource/
n115http://new.dbpedia.org/resource/
dbpedia-eohttp://eo.dbpedia.org/resource/
dbpedia-brhttp://br.dbpedia.org/resource/
n34http://tl.dbpedia.org/resource/
dbpedia-ithttp://it.dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
n74http://si.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-gdhttp://gd.dbpedia.org/resource/
n23https://archive.org/details/introductiontose0000monk/page/n5/mode/
dbpedia-ethttp://et.dbpedia.org/resource/
n87http://my.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n122http://lv.dbpedia.org/resource/
n43http://ba.dbpedia.org/resource/
yago-reshttp://yago-knowledge.org/resource/
n57https://archive.org/stream/encyklomath101encyrich%23page/
dbpedia-hehttp://he.dbpedia.org/resource/
n88http://tt.dbpedia.org/resource/
dbpedia-lmohttp://lmo.dbpedia.org/resource/
n25http://d-nb.info/gnd/
n19https://books.google.com/
dbpedia-dehttp://de.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
n67http://ur.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
n55http://dbpedia.org/resource/File:
dbpedia-arhttp://ar.dbpedia.org/resource/
n50http://sah.dbpedia.org/resource/
n100http://lt.dbpedia.org/resource/
dbpedia-cshttp://cs.dbpedia.org/resource/
n6http://handbook.assafrinot.com/
dbpedia-vihttp://vi.dbpedia.org/resource/
n107https://archive.org/details/
dbthttp://dbpedia.org/resource/Template:
dbpedia-slhttp://sl.dbpedia.org/resource/
dbpedia-nnhttp://nn.dbpedia.org/resource/

Statements

Subject Item
dbr:Cantor's_first_set_theory_article
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Cantor's_paradise
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Cantor's_theorem
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Cardinal_utility
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Cardinality_of_the_continuum
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Carl_B._Allendoerfer
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Cartesian_product
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Categorical_set_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:American_philosophy
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Amorphous_set
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Power_set
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Preorder
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Prewellordering
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Primitive_recursive_function
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Principia_Mathematica
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Process_philosophy
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Propositional_calculus
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Péter_Komjáth
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Qualitative_comparative_analysis
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Quine–Putnam_indispensability_argument
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Robert_M._Solovay
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Robert_Rosen_(biologist)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Ronald_Jensen
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Saul_Kripke
dbo:wikiPageWikiLink
dbr:Set_theory
dbp:mainInterests
dbr:Set_theory
dbo:mainInterest
dbr:Set_theory
Subject Item
dbr:Saunders_Mac_Lane
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Schröder–Bernstein_theorem
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Element_(category_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Elementary_definition
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Elementary_equivalence
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Elementary_event
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Elementary_sentence
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Elementary_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:End_extension
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Epistemic_modal_logic
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_academic_fields
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_agnostics
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_atheists_in_music
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_atheists_in_science_and_technology
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_axioms
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_computer_scientists
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_first-order_theories
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_forcing_notions
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Mathematical_morphology
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Minimal_model_(set_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Model_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Mostowski_collapse_lemma
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Mostowski_model
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Mouse_(set_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Multiverse
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Multiverse_(set_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:New_Foundations
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Lévy_hierarchy
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Mengenlehreuhr
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Mereology
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Metamathematics
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Metatheorem
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Scott's_trick
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Ω-logic
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Principles_of_Mathematical_Logic
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Bernhard_Riemann
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Bertrand_Russell
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Bertrand_Russell's_philosophical_views
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Bet_(letter)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Binary_tree
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Bjarni_Jónsson
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Bracket
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:David_Emmanuel_(mathematician)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:David_Lewis_(philosopher)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Determinacy
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Alfréd_Haar
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Almost
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:András_Hajnal
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Antiquarian_science_books
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:History_of_set_theory
dbo:wikiPageWikiLink
dbr:Set_theory
dbo:wikiPageRedirects
dbr:Set_theory
Subject Item
dbr:History_of_the_function_concept
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Hunter_Snevily
dbo:wikiPageWikiLink
dbr:Set_theory
dbo:knownFor
dbr:Set_theory
Subject Item
dbr:John_Venn
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:John_von_Neumann
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Jordan_Howard_Sobel
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Jorge_Luis_Borges
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Joseph_R._Shoenfield
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Jouko_Väänänen
dbo:wikiPageWikiLink
dbr:Set_theory
dbo:knownFor
dbr:Set_theory
Subject Item
dbr:Judith_Roitman
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Beth_number
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Beyond_Infinity_(mathematics_book)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_numbers
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_people_considered_father_or_mother_of_a_scientific_field
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_words_with_the_suffix_-ology
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Patrick_Dehornoy
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Paul_Bernays
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Paul_Cohen
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Paul_Erdős
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Paul_Hiebert_(missiologist)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Pavel_Alexandrov
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Pavel_Florensky
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Peano_axioms
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Penelope_Maddy
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Pereslavl-Zalessky
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Relational_algebra
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:René-Louis_Baire
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Reverse_mathematics
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Richard_Dedekind
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Richard_Montague
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Rigour
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Characteristica_universalis
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Charles_C._Ragin
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Cumulative_hierarchy
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Curry's_paradox
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Currying
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Ultrafilter_(set_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Universe_(mathematics)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:University_of_Lviv
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:University_of_Minnesota_Talented_Youth_Mathematics_Program
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:University_of_Reunion_Island
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:University_of_Rijeka
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:University_of_Turin
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:De_Morgan's_laws
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Decidable_sublanguages_of_set_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Definable_real_number
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Dehornoy_order
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Derived_set_(mathematics)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Descriptive_set_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Designing_Social_Inquiry
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Double_extension_set_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Easton's_theorem
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Inclusion_(Boolean_algebra)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Independence_of_irrelevant_alternatives
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Index_of_philosophy_articles_(R–Z)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Indian_logic
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Infinitary_logic
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Infinite-valued_logic
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Infinite_set
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Infinity-Borel_set
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Infinity_and_the_Mind
dbo:wikiPageWikiLink
dbr:Set_theory
dbp:subject
dbr:Set_theory
dbo:nonFictionSubject
dbr:Set_theory
Subject Item
dbr:Information_theory_and_measure_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Inner_model
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Inner_model_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Integrational_theory_of_language
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Interior_algebra
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Interpretation_(logic)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Intersection
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Ivan_Orlov_(philosopher)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Jacques_Riguet
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Kuratowski's_free_set_theorem
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Kurepa_tree
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:L(R)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Number
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Level_of_measurement
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Limit_ordinal
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Limitation_of_size
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Lincos_language
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_graphical_methods
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_important_publications_in_mathematics
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_lemmas
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_mathematical_abbreviations
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_mathematical_logic_topics
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_mathematical_theories
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_probability_distributions
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_set_theory_topics
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Thomas_Jech
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Number_line
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Numerical_tower
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Tarski's_axioms
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Quasi-set_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Random_algebra
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Positive_set_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Theoretical_neuromorphology
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Pseudo-intersection
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Rayo's_number
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Notation
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:November_1913
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Solovay_model
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Strong_cardinal
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Timeline_of_Polish_science_and_technology
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Timeline_of_category_theory_and_related_mathematics
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:0
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Commutative_property
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Complement_(set_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Computability_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Constructible_universe
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Continuum_(set_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Cornelius_Castoriadis
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Maryanthe_Malliaris
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Mathematical_analysis
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Mathematical_induction
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Mathematical_logic
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Mathematicism
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Max_August_Zorn
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Maxima_and_minima
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Maximal_and_minimal_elements
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Russell's_paradox
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:SETL
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Saharon_Shelah
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Ernst_Specker
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:General_formal_ontology
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:General_topology
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Generalization
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Generic_filter
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Geometric_Algebra_(book)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Mathematical_object
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Navya-Nyāya
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Negation
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Nice_name
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Normal_measure
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Null_(mathematics)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Omega
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Order_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Order_type
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Ordinal_collapsing_function
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Ordinal_definable_set
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Square_of_opposition
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Plural_quantification
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Rank-into-rank
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Semiset
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Wolf_Prize_in_Mathematics
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Timeline_of_mathematical_logic
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Timeline_of_mathematics
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:1874_in_Germany
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:1874_in_science
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Class_(set_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Edward_Vermilye_Huntington
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Enumeration
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Equality_(mathematics)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Frank_Ramsey_(mathematician)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Friedrich_Hartogs
dbo:wikiPageWikiLink
dbr:Set_theory
dbp:fields
dbr:Set_theory
dbo:academicDiscipline
dbr:Set_theory
Subject Item
dbr:Function_(mathematics)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Galaxy_(computational_biology)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Game_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Gemstone_(database)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Georg_Cantor
dbo:wikiPageWikiLink
dbr:Set_theory
dbp:knownFor
dbr:Set_theory
dbo:knownFor
dbr:Set_theory
Subject Item
dbr:George_Boole
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:George_Boolos
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Gerhard_Hessenberg
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Giuseppe_Peano
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Glossary_of_areas_of_mathematics
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Glossary_of_artificial_intelligence
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Glossary_of_calculus
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Glossary_of_computer_science
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Glossary_of_mathematical_symbols
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Glossary_of_set_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Morphism
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Morphophonology
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Moschovakis_coding_lemma
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Moscow_State_School_57
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Multiset
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Music
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Music_and_mathematics
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Music_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Naive_set_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Concept_and_object
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Concepts_of_Modern_Mathematics
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Condensation_lemma
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Cone_(category_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Connectionist_expert_system
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Constructive_solid_geometry
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Continuous_function_(set_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Controversy_over_Cantor's_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Core_model
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Critical_point_(set_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Theorem
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Theories_of_iterated_inductive_definitions
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Thomas_Forster_(mathematician)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Thoralf_Skolem
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Epsilon
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Equiconsistency
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Equinumerosity
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Equivalents_of_the_Axiom_of_Choice
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Erdős–Dushnik–Miller_theorem
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Eric_Charles_Milner
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:LOOM_(ontology)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Martin's_maximum
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Pregaussian_class
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Ramified_forcing
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Military_history_of_Jewish_Americans
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Milner–Rado_paradox
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Ordinal_arithmetic
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Ordinal_notation
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:1908_in_science
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Andor_Kertész_(mathematician)
dbo:wikiPageWikiLink
dbr:Set_theory
dbo:academicDiscipline
dbr:Set_theory
Subject Item
dbr:Andreas_Blass
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Andrey_Kolmogorov
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:André_Lichnerowicz
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Arithmetices_principia,_nova_methodo_exposita
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Arithmetization_of_analysis
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Arnold_Oberschelp
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Aronszajn_line
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Aronszajn_tree
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Baumgartner's_axiom
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Berkeley_cardinal
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Lennox_Superville
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Leo_Harrington
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Leonard_Gillman
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Leonhard_Euler
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Leopold_Kronecker
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Logic
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Logical_conjunction
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Lyudmila_Keldysh
dbo:wikiPageWikiLink
dbr:Set_theory
dbo:knownFor
dbr:Set_theory
Subject Item
dbr:Major_thirds_tuning
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Chris_Freiling
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Silver_machine
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Simply_typed_lambda_calculus
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Stanislaw_Ulam
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Stevo_Todorčević
dbo:wikiPageWikiLink
dbr:Set_theory
dbp:field
dbr:Set_theory
dbo:academicDiscipline
dbr:Set_theory
Subject Item
dbr:Stochastic
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Club_filter
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Club_set
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Combinatorics
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Common_knowledge_(logic)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Compact_element
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Computable_ordinal
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Computer_program
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Demetrius_Venable
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Zermelo–Fraenkel_set_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Zero_sharp
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Zorns_Lemma
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Émile_Borel
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Đuro_Kurepa
dbo:wikiPageWikiLink
dbr:Set_theory
dbo:knownFor
dbr:Set_theory
Subject Item
dbr:Emerging_church
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Empty_product
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Fault_tree_analysis
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Francisco_Dória
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Fred_Galvin
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Friedrich_Wilhelm_Levi
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Fréchet_inequalities
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Frédérique_Lenger
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Fubini's_theorem
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Function_space
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Fundamenta_Mathematicae
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Hadwiger–Nelson_problem
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Horseshoe_(symbol)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:John_Lane_Bell
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Kripke–Platek_set_theory_with_urelements
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Kunen's_inconsistency_theorem
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Ordered_pair
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Paradoxes_of_set_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Pavle_Papić
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Phi
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Pidgin_code
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Programming_language_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Proper_forcing_axiom
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Vector_overlay
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Steve_Jackson_(mathematician)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Structuralism_(philosophy_of_mathematics)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Structure_(mathematical_logic)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Structure_theorem_for_finitely_generated_modules_over_a_principal_ideal_domain
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Subclass_(set_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Successor_cardinal
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Successor_ordinal
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Sunflower_(mathematics)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Supercompact
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Supercompact_cardinal
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Mathematical_Cranks
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Mathematics_education
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Mathematics_education_in_the_United_States
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Matthew_Foreman
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Peter_Koellner
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:To_Mock_a_Mockingbird
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Automorphism
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Axiom_of_limitation_of_size
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Axiomatic_Set_Theory
dbo:wikiPageWikiLink
dbr:Set_theory
dbo:wikiPageRedirects
dbr:Set_theory
Subject Item
dbr:Axiomatic_set_theories
dbo:wikiPageWikiLink
dbr:Set_theory
dbo:wikiPageRedirects
dbr:Set_theory
Subject Item
dbr:Axiomatic_set_theory
dbo:wikiPageWikiLink
dbr:Set_theory
dbo:wikiPageRedirects
dbr:Set_theory
Subject Item
dbr:Banach–Tarski_paradox
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:A._H._Lightstone
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Bruno_Augenstein
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Burali-Forti_paradox
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Actual_infinity
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Addition_principle
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Additively_indecomposable_ordinal
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Admissible_ordinal
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Admissible_set
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Category_of_sets
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Tomek_Bartoszyński
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Tree_(descriptive_set_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Tree_(set_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Truth
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Tuple
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Type_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Database_model
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:W._Hugh_Woodin
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Wacław_Sierpiński
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Well-founded_relation
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Where_Mathematics_Comes_From
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:White_Light_(novel)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Wilhelm_Ackermann
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Willard_Van_Orman_Quine
dbo:wikiPageWikiLink
dbr:Set_theory
dbp:mainInterests
dbr:Set_theory
dbo:mainInterest
dbr:Set_theory
Subject Item
dbr:William_Binney_(intelligence_official)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:William_C._Davidon
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:William_Lawvere
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Distributive_property
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Domain_of_a_function
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Domain_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Future_of_mathematics
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Fuzzy_concept
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Fuzzy_set
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Géza_Fodor_(mathematician)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Gödel_operation
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Hausdorff_Medal
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Heinrich_Behmann
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Heinz-Dieter_Ebbinghaus
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:James_F._Thomson_(philosopher)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Janet_Barnett
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:January_1918
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Jesús_Mosterín
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Joan_Bagaria
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Joel_David_Hamkins
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:John_Etchemendy
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Juliette_Kennedy
dbo:wikiPageWikiLink
dbr:Set_theory
dbp:field
dbr:Set_theory
dbo:academicDiscipline
dbr:Set_theory
Subject Item
dbr:Jónsson_cardinal
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Jónsson_function
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Large_cardinal
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Large_countable_ordinal
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Laver_function
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Laver_table
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Law_of_excluded_middle
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Laws_of_Form
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Lebesgue_measure
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Lindström's_theorem
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Linguistic_performance
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Lisl_Gaal
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_American_University_people
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_Christians_in_science_and_technology
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Locus_(mathematics)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Logicism
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Propositional_function
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Quaternion_Society
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Paraconsistent_logic
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Set_theoretic_programming
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:2
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:20th_century
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Abraham_Fraenkel
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Absolute_Infinite
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Academic_Games
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Addition
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Adolf_Lindenbaum
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Adrian_Mathias
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Alain_Badiou
dbo:wikiPageWikiLink
dbr:Set_theory
dbp:mainInterests
dbr:Set_theory
dbo:mainInterest
dbr:Set_theory
Subject Item
dbr:Aleatoric_music
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Aleph
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Aleph_number
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Alexander_Grothendieck
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Alexander_S._Kechris
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Alexey_Lyapunov
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Alfred_Tarski
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Algebra
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Algebraic_data_type
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Algebraic_logic
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Akihiro_Kanamori
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Curry–Howard_correspondence
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Dana_Scott
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:E
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Edmund_Husserl
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Eduard_Helly
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Eric_Schechter
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Erich_Kamke
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Ernst_Schröder_(mathematician)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Ernst_Zermelo
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Eugenia_Cheng
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Exponentiation
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Fallibilism
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Felix_Bernstein_(mathematician)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Felix_Hausdorff
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Filter_(set_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Filters_in_topology
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Finitary_relation
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Finite_set
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:First-order_logic
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Forcing_(mathematics)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Banach–Mazur_game
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Barber_paradox
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:British_philosophy
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Brouwer_fixed-point_theorem
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Nicolas_Bourbaki
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Nicolas_Rashevsky
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Nominalism
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Norbert_Wiener
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Null_graph
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Null_set
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Number_sign
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Numbers_(season_2)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Numbers_(season_4)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Outer_measure
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Overline
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Pairing_function
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Paradox
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Cardinal_and_Ordinal_Numbers
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Cardinal_assignment
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Cardinal_characteristic_of_the_continuum
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Cardinal_number
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Cardinality
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Binary_alphabet
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Diagonal_intersection
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Diagram_(category_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Dialetheism
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Dichotomy
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Difference_hierarchy
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Dimensional_operator
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Discontinuous_linear_map
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Family_of_sets
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Fodor's_lemma
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Forcing_(computability)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Foundational_relation
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Foundations_of_mathematics
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Frame_(artificial_intelligence)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Global_element
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Goldstern
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Graph_of_a_function
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:History_of_large_numbers
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:History_of_logic
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:History_of_mathematics
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:History_of_quaternions
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:History_of_topos_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:István_Juhász_(mathematician)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Itay_Neeman
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Iterated_function_system
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:John_R._Steel
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Jorge_Luis_Borges_and_mathematics
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Karel_Hrbáček
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Katsuya_Eda
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Knowledge_representation_and_reasoning
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_German_inventions_and_discoveries
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_German_inventors_and_discoverers
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_Italian_inventions_and_discoveries
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_Numbers_characters
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_Russian_mathematicians
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_Russian_scientists
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Logical_disjunction
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Moritz_Wilhelm_Drobisch
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Ryszard_Engelking
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Predicate_functor_logic
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:The_Fourth_Dimension_(book)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Maria_Hasse
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Luca_Incurvati
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Ludomir_Newelski
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Modal_realism
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Predicate_(mathematical_logic)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Primitive_notion
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Product_(mathematics)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Projection_(mathematics)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Projection_(relational_algebra)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Projection_(set_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Quiver_(mathematics)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Radical_of_a_ring
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Reality
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Recursion
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Reflection_principle
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Regular_cardinal
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Relational_database
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Serial_relation
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:19th_century_in_science
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Greg_Hjorth
dbo:wikiPageWikiLink
dbr:Set_theory
dbp:fields
dbr:Set_theory
dbo:academicDiscipline
dbr:Set_theory
Subject Item
dbr:Group_structure_and_the_axiom_of_choice
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Gyula_Kőnig
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Gödel's_incompleteness_theorems
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Haim_Gaifman
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Hans_Hahn_(mathematician)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Hebrew_alphabet
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Henri_Poincaré
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Hierarchy
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Hilbert_system
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Atom_(order_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:International_Phonetic_Alphabet
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Intersection_(set_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Involution_(mathematics)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:István_Fenyő
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Italians
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Ivar_Otto_Bendixson
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Ivor_Grattan-Guinness
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Jagiellonian_University
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:James_Earl_Baumgartner
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Baby_boomers
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Back-and-forth_method
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Baire_space_(set_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Taxonomy_(biology)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Technische_Universität_Darmstadt
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Counting
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Cover_(topology)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Test_Template_Framework
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Hyperarithmetical_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Jensen's_covering_theorem
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Jensen_hierarchy
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Fine_structure_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Polish_School_of_Mathematics
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Set_theory_of_the_real_line
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Tversky_index
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Arne_Næss
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Arthur_Moritz_Schoenflies
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Associative_property
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Athanasius_Kircher
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:AD+
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Abelian_group
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Absoluteness
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Abstract_algebra
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Abstract_algebraic_logic
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Abstract_elementary_class
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Access_structure
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Affine_logic
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Jewish_culture
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Kappa
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Kazimierz_Kuratowski
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Kenneth_Kunen
dbo:wikiPageWikiLink
dbr:Set_theory
dbo:knownFor
dbr:Set_theory
Subject Item
dbr:Kernel_(set_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Kiarina_Kordela
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:L._E._J._Brouwer
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Lakatos_Award
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Lambda
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Lambda_calculus
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Lebesgue_integration
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Biological_organisation
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Blackboard_bold
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Suslin's_problem
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Symbolic_method_(combinatorics)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Symmetry_in_mathematics
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:TLA+
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Tadeusz_Ważewski
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Code_(set_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Codomain
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Cohen_algebra
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Collectively_exhaustive_events
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Hereditarily_countable_set
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Hereditarily_finite_set
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Hereditary_property
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Hereditary_set
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Hideto_Tomabechi
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Hierarchy_(mathematics)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Honest_leftmost_branch
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Jean_A._Larson
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Jean_E._Rubin
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Tav_(number)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Topos
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Woodin_cardinal
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Xi_(letter)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Zero_dagger
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Zorn's_lemma
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Mitchell_order
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Model-based_specification
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Regional_handwriting_variation
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Richard_Laver
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Transitive_set
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Sally_Cockburn
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Donald_Kalish
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Donald_Knuth
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Automata_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Axiom
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Axiom_of_choice
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Axiom_of_constructibility
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Axiom_of_determinacy
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Axiom_of_real_determinacy
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Axiom_of_reducibility
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Axiom_schema
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Axiom_schema_of_replacement
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Axiomatic_system
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Azriel_Lévy
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:B-Method
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Marcia_Groszek
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Marion_Scheepers
dbo:wikiPageWikiLink
dbr:Set_theory
dbp:fields
dbr:Set_theory
dbo:academicDiscipline
dbr:Set_theory
Subject Item
dbr:Martin_Goldstern
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Boolean_algebra
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Boolean_algebras_canonically_defined
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Boolean_model_of_information_retrieval
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Boolean_ring
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Borel_determinacy_theorem
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:C-K_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Cabal_(set_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Philip_Welch
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Philosophy_of_mathematics
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Post-politics
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Sophie_Piccard
dbo:wikiPageWikiLink
dbr:Set_theory
dbp:subDiscipline
dbr:Set_theory
Subject Item
dbr:Class_logic
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Class_of_groups
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Classical_logic
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Classification_of_discontinuities
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Fibred_category
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Frederick_Rowbottom
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Free_product
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Freiling's_axiom_of_symmetry
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:French_philosophy
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Greek_letters_used_in_mathematics,_science,_and_engineering
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Grothendieck's_relative_point_of_view
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Group_object
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Grundzüge_der_Mengenlehre
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Guacolda_Antoine_Lazzerini
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Applications_of_set_theory
dbo:wikiPageWikiLink
dbr:Set_theory
dbo:wikiPageRedirects
dbr:Set_theory
Subject Item
dbr:Iannis_Xenakis
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Ideal_(set_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Identity_function
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Inaccessible_cardinal
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Infinitesimal
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Infinity
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Infinity_(philosophy)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Information_technology
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Kurt_Grelling
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Kurt_Gödel
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:König's_theorem_(set_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Metamath
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Minimum_overlap_problem
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Budapest_Semesters_in_Mathematics
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Nathan_Salmon
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Natural_number
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Nelson_Goodman
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:New_Math
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:OMTROLL
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Object–relational_impedance_mismatch
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:On_the_Plurality_of_Worlds
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Ordinal_number
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Cantor's_diagonal_argument
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Cantor's_paradox
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Cantor_space
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Cantor–Bernstein_theorem
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Carroll_diagram
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Cartesian_closed_category
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Categorification
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Category_(mathematics)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Ramsey's_theorem
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Randall_Dougherty
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Raphael_M._Robinson
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Real_number
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Cesare_Burali-Forti
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Chang's_model
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Second-order_logic
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Set-theoretic
dbo:wikiPageWikiLink
dbr:Set_theory
dbo:wikiPageRedirects
dbr:Set_theory
Subject Item
dbr:SetTheory
dbo:wikiPageWikiLink
dbr:Set_theory
dbo:wikiPageRedirects
dbr:Set_theory
Subject Item
dbr:Set_(mathematics)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Set_Theory
dbo:wikiPageWikiLink
dbr:Set_theory
dbo:wikiPageRedirects
dbr:Set_theory
Subject Item
dbr:Set_theory
rdf:type
owl:Thing dbo:Organisation
rdfs:label
Θεωρία συνόλων 集合论 Mängdteori Теория множеств Multzo-teoria 集合論 Matematická logika Teorie množin Lógica matemática Logika matematika Μαθηματική λογική Tacartheoiric Aro-teorio Matematisk logik Математическая логика Математична логіка Mengenlehre Matematika logiko Teoria de conjunts 집합론 Verzamelingenleer Wiskundige logica Lógica matemática 数理逻辑 수리 논리학 Logica matematica Teori himpunan Logika matematiko Teoría de conjuntos Teoria dos conjuntos Théorie des ensembles 数理論理学 نظرية المجموعات Logika matematyczna Lògica matemàtica Teoria mnogości Set theory Теорія множин Mathematische Logik Loighic mhatamaiticiúil Teoria degli insiemi منطق رياضي Logique mathématique
rdfs:comment
المنطق هو العلم الذي يبحث في القواعد التي تتبع في التفكير وطرق الاستدلال الصحيح. وهو بذلك أداة للتفكير لأنه يعنى بتحليل طرق التفكير وصيانته من الخطأ. والعملية المنطقية تهتم بفئة من الصيغ أو القضايا. القضية: جملة تقوم على علاقة بين عدد من الكلمات المفهومة، وتنقسم إلى قسمين: 1. * القضية الإخبارية: وهي تخبر عن شيء ما وتحتمل الصدق أو الكذب مثل (المثلثات المتطابقة متكافئة)، (كل ما في الكون يجذب بعضه بعضا). 2. * القضية الإنشائية: وهي التي لا يمكن أن توصف بالصدق أو الكذب مثل لا تمش في الأرض مرحا وهي ليست قضايا منطقية. La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du XIXe siècle, qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité. La teoria de conjunts és la branca de les matemàtiques que estudia els conjunts. El primer estudi formal sobre el tema va ser realitzat pel matemàtic alemany Georg Cantor al segle xix. A lógica matemática é uma subárea da matemática que explora as aplicações da lógica formal para a matemática. Basicamente, tem ligações fortes com matemática, os fundamentos da matemática e ciência da computação teórica. Os temas unificadores na lógica matemática incluem o estudo do poder expressivo de sistemas formais e o poder dedutivo de sistemas de prova matemática formal. Subáreas e escopo O manual de lógica matemática divide a matemática contemporânea em quatro áreas: Teori Himpunan adalah teori mengenai kumpulan objek-objek abstrak. Teori himpunan biasanya dipelajari sebagai salah satu bentuk: * , dan * , yang mendasarkan teori himpunan pada istilah-istilah dan relasi yang tak terdefinisikan, serta aksioma-aksioma yang nantinya akan membangun keseluruhan teori himpunan. Studi modern tentang teori himpunan diprakarsai oleh Georg Cantor dan Richard Dedekind pada tahun 1870. Setelah penemuan di , seperti , banyak sistem aksioma diusulkan pada awal abad ke-20, di mana , dengan atau tanpa aksioma pilihan, adalah yang paling terkenal. Cur i bhfeidhm an chruinnis mhatamaiticiúil is teicníochtaí siombalacha i staidéar na loighce. Mar shampla, forbairt na dteangacha foirmiúla is na gcóras aicsímí chun cruthuithe loighciúla a thógáil. Tugtar loighic shiombalach uirthi freisin. Bunaíodh an t-ábhar ar shaothar Boole, agus ina dhiaidh sin saothar Frege, Whitehead is Russell, Gödel, is Tarski. Tagairtí La teoria degli insiemi è una teoria matematica posta ai fondamenti della matematica stessa, collocandosi nell'ambito della logica matematica. Prima della prima metà del XIX secolo la nozione di insieme veniva considerata solo come qualcosa di intuitivo e generico. La nozione è stata sviluppata nella seconda metà del XIX secolo dal matematico tedesco Georg Cantor, è stata al centro dei dibattiti sui fondamenti dal 1890 al 1930 ed ha ricevuto le prime sistemazioni assiomatiche per merito di Ernst Zermelo, Adolf Fraenkel, Paul Bernays, Kurt Gödel, John von Neumann e Thoralf Skolem, Gottlob Frege (le convenzioni linguistico-formali, come il quantificatore universale ed esistenziale) e Giuseppe Peano (notazione e sintassi). In questo periodo si sono assestati due sistemi di assiomi chiamati si La teoría de conjuntos es una rama de la lógica matemática que estudia las propiedades y relaciones de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en sí mismas. Los conjuntos y sus operaciones más elementales son una herramienta básica que permite formular de cualquier otra teoría matemática.​ La teoría de los conjuntos es lo suficientemente flexible y general como para construir el resto de objetos y estructuras de interés en matemáticas: números, funciones, figuras geométricas, etc; gracias a las herramientas de la lógica, permite estudiar los fundamentos. Η μαθηματική λογική είναι ένας κλάδος των μαθηματικών και της επιστήμης υπολογιστών, με στενή σχέση και με τη φιλοσοφική λογική. Το πεδίο περιλαμβάνει τη μαθηματική μελέτη της λογικής και τις εφαρμογές της τυπικής λογικής σε άλλες περιοχές των μαθηματικών. Οι βασικότερες ιδέες στη μαθηματική λογική περιλαμβάνουν τη μελέτη της εκφραστικής ισχύος των τυπικών συστημάτων και της συμπερασματικής ισχύος των συστημάτων τυπικών αποδείξεων. Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly concerned with those that are relevant to mathematics as a whole. Matematika logiko estas fako de matematiko, kiu studas el la vidpunkto bazita sur la konceptoj de pruvo kaj kaj parenca kun la temaro pri . Kvankam la nomo sugestas, ke matematika logiko estas la logiko de matematiko, vere ĝi estas iom pli proksime al matematiko de logiko. Ĝi enhavas tiujn partojn de logiko, kiuj povas esti modelitaj matematike. Pli fruaj nomoj de la afero estis "simbola logiko" (en kontrasto al "filozofia logiko"), kaj " de matematiko", kiu estas nun limigita kiel termino por iuj aspektoj de pruva teorio. Die mathematische Logik, auch symbolische Logik oder veraltet Logistik, ist ein Teilgebiet der Mathematik, insbesondere als Methode der Metamathematik und eine Anwendung der modernen formalen Logik. Oft wird sie wiederum in die Teilgebiete Modelltheorie, Beweistheorie, Mengenlehre und Rekursionstheorie aufgeteilt. Forschung im Bereich der mathematischen Logik hat zum Studium der Grundlagen der Mathematik beigetragen und wurde auch durch dieses motiviert. Infolgedessen wurde sie auch unter dem Begriff Metamathematik bekannt. 집합론(集合論, 영어: set theory)은 추상적 대상들의 모임인 집합을 연구하는 수학 이론이다. 집합론은 술어논리학과 함께 대부분의 수학기초론 체계의 근본으로, 현대 수학을 논리적으로 지탱하는 밑바탕이 된다. 소박한 집합론에서는 집합을 단순히 대상들을 모아서 만들어지는 자명한 개념으로 이해한다. 중학교 및 고등학교 등의 교육과정에서 다루는 집합의 개념은 이에 해당한다. 소박한 집합론의 모순을 해결하기 위해 등장한 공리적 집합론은 집합들과 그 포함관계가 만족하는 공리들을 규정하는 방법으로 집합을 간접적으로 정의한다. 여기에서 집합과 그 포함관계는 유클리드 기하에서의 점이나 선과 같은 무정의 용어로 볼 수 있다. 공리적 집합론은 대부분의 경우 대학에서 수학을 전공하지 않는 이상 배우지 않는다. Logika matematyczna – dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki. Koncentruje się ona na analizowaniu zasad rozumowania oraz pojęć z nim związanych z wykorzystaniem sformalizowanych oraz uściślonych metod i narzędzi matematyki. W początkowym okresie rozwoju tego działu używano też nazwy logika symboliczna (w celu odróżnienia od logiki filozoficznej). Nazwa logika matematyczna została użyta po raz pierwszy przez włoskiego matematyka Giuseppe Peana. De wiskundige logica is een deelgebied van de wiskunde. De wiskundige logica wordt onderverdeeld in de vier deelgebieden verzamelingenleer, bewijstheorie, modeltheorie en berekenbaarheid. Zo is in de wiskunde de groepentheorie verbonden met de verzamelingenleer, de getaltheorie met de bewijstheorie en is de berekenbaarheid een onderdeel van de computationele complexiteitstheorie. Onderzoek op het gebied van de wiskundige logica heeft bijgedragen aan de grondslagen van de wiskunde, die weer de logica in het algemeen ondersteunden. Maar er zijn ook onderdelen van de wiskundige logica die zich niet met grondslag van de wiskunde bezighouden.De wiskundige logica geeft de voorwaarden aan, waaraan een wiskundig bewijs moet voldoen. Matematisk logik har generellt två betydelser. Det kan betyda logik studerad med matematiska metoder eller matematikens logik. Ofta avser man båda dessa tolkningar: man studerar matematikens logik med matematiska metoder. Begreppet ska förstås ses som kontrast till filosofisk logik. De verzamelingenleer vormt sinds het begin van de twintigste eeuw een van de grondslagen van de wiskunde. De verzamelingenleer betreft de bestudering en formalisering van het begrip verzameling, en ondersteunt daarmee de axiomatische onderbouwing van andere deelgebieden van de wiskunde. 数理逻辑(英語:Mathematical logic)是数学的一个分支,其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑(相对于哲学逻辑),又称元数学,后者的使用现已局限于证明论的某些方面。 Aro-teorio aŭ aroteorio (aŭ arteorio) estas branĉo de matematiko kaj komputiko kreita ĉefe de la germana matematikisto Georg Cantor fine de la 19-a jarcento. Ĝi komence estis disputata, sed nuntempe iĝis grava en la por difini bazajn konceptojn kiel nombro. Komence oni evoluigis la naivan aŭ intuician arteorion, kiun oni povas difini jene: Al tiaj aroj oni povas apliki diversajn operaciojn, kiel la kunaĵon kaj la komunaĵon. La logica matematica è il settore della matematica che studiai sistemi formali dal punto di vista del modo di codificarei concetti intuitivi della dimostrazione e di computazionecome parte dei fondamenti della matematica. Essa si occupa delle parti della logica che possono essere modellate matematicamente. Altri termini utilizzati spesso nel passato sono logica simbolica (termine contrapposto a logica filosofica) e metamatematica, termine che ora si applica più specificamente a taluni aspetti della teoria della dimostrazione. Brainse de loighic mhatamaiticiúil is ea tacartheoiric (nó teoiric na dtacar), a dhéanann staidéar ar thacair; go neamhfhoirmiúi is bailiúcháin de réada iad. Cé gur féidir le réad ar bith a bhailiú i dtacar, is minic a úsáidtear tacartheoiric ar rudaí a bhaineann leis an matamaitic. Is féidir leas a bhaint as teanga na tacartheoirice chun beagnach gach réad matamaitice a shainiú. Logika matematikoa, logika sinbolikoa, logika teoretikoa, logika formala edo logistika ere deitua, logikaren azterketa formal eta sinbolikoa da, eta matematikaren eta zientziaren arlo batzuetan duen aplikazioa. Logika formalaren teknikak matematikaren eta arrazoiketa matematikoaren eraikuntzan eta garapenean aplikatzea ulertzen du, eta, elkarrekin, logika formalaren irudikapenean eta analisian teknika matematikoak aplikatzea. Logika matematikoaren ikerketak berebiziko garrantzia izan du aztertzean. Тео́рія множи́н — розділ математики, в якому вивчаються загальні властивості множин (переважно нескінченних). Виділення теорії множин в самостійний розділ математики відбулося на рубежі XIX і XX століть. Теорія множин зробила дуже великий вплив на розвиток сучасної математики — вона є фундаментом низки нових розділів математики, дозволила по-новому поглянути на класичні розділи математики і глибше зрозуміти сам предмет математики. 集合論(しゅうごうろん、英:Set theory)は、集合とよばれる数学的対象をあつかう数学理論である。 通常、「集合」はいろいろな数学的対象の集まりを表していると見なされる。これは日常的な意味でのものの集まりやその要素、特定のものが入っているかいないか、という概念を包摂している。現代数学の定式化においては集合論がさまざまな数学的対象を描写する言葉をあたえている。集合論は数学の公理的な基礎付けをあたえ、数学的な対象を形式的に「集合」と「帰属関係」によって構成することが可能になる。また、集合論の公理として何を仮定するとどんな体系が得られるか、といった集合それ自体の研究も活発に行われている。 と定義することができる。すなわち濃度というのを特別な順序数として定義するわけである。このようにすることで濃度の定義から真のクラスを追放することができる。ただし選択公理を仮定することなく濃度を定義し取り扱うことはできる。基本的なアイデアは濃度で類別した各々同値類から累積階層の意味で階数が最小なものだけを分出するというものである。詳細はを参照。 La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du XIXe siècle. La théorie des ensembles se donne comme primitives les notions d'ensemble et d'appartenance, à partir desquelles elle reconstruit les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes… C'est pourquoi la théorie des ensembles est considérée comme une théorie fondamentale dont Hilbert a pu dire qu'elle était un « paradis » créé par Cantor pour les mathématiciens. Тео́рия мно́жеств — раздел математики, в котором изучаются общие свойства множеств — совокупностей элементов произвольной природы, обладающих каким-либо общим свойством. Создана во второй половине XIX века Георгом Кантором при значительном участии Рихарда Дедекинда, привнесла в математику новое понимание природы бесконечности, была обнаружена глубокая связь теории с формальной логикой, однако уже в конце XIX — начале XX века теория столкнулась со значительными сложностями в виде возникающих парадоксов, поэтому изначальная форма теории известна как наивная теория множеств. В XX веке теория получила существенное методологическое развитие, были созданы несколько вариантов аксиоматической теории множеств, обеспечивающие универсальный математический инструментарий, в связи с вопросами измеримос Математи́чна ло́гіка — розділ математики, що вивчає мислення за допомогою числень, застосовуючи математичні методи та спеціальний апарат символів.Предметом математичної логіки є математичні теорії в цілому, які вивчаються за допомогою логіко-математичних мов. При цьому в першу чергу цікавляться питаннями несуперечливості математичних теорій, їх розв'язності та повноти. Teoria dos conjuntos ou de conjuntos é o ramo da lógica matemática que estuda conjuntos, que (informalmente) são coleções de elementos. Embora qualquer tipo de elemento possa ser reunido em um conjunto, a teoria dos conjuntos é, em geral, investigada com elementos que são relevantes para os fundamentos da matemática. 集合論(英語:Set theory)或稱集論,是研究集合(由一堆抽象对象構成的整體)的數學理論,包含集合和元素(或稱為成員)、關係等最基本數學概念。在大多數現代數學的公式化中,都是在集合論的語言下談論各種数学对象。集合論、命題邏輯與謂詞邏輯共同構成了數學的公理化基礎,以未定義的「集合」與「集合成員」等術語來形式化地建構數學物件。 現代集合論的研究是在1870年代由俄国数学家康托爾及德國数学家理察·戴德金的樸素集合論開始。在樸素集合論中,集合是當做一堆物件構成的整體之類的自證概念,沒有有關集合的形式化定義。在發現樸素集合論會產生一些後,二十世紀初期提出了許多公理化集合論,其中最著名的是包括選擇公理的策梅洛-弗蘭克爾集合論,簡稱ZFC。公理化集合論不直接定義集合和集合成員,而是先規範可以描述其性質的一些公理。 集合論常被視為數學基礎之一,特別是 ZFC 集合論。除了其基礎的作用外,集合論也是數學理論中的一部份,當代的集合論研究有許多離散的主題,從實數線的結構到大基数的一致性等。 数理論理学(すうりろんりがく、英 : mathematical logic)または現代論理学、記号論理学、数学基礎論、超数学は、数学の分野の一つであり、「数学の理論を展開する際にその骨格となる論理の構造を研究する分野」を指す。数理論理学(数学基礎論)と密接に関連している分野としてはコンピュータ科学(計算機科学)や理論コンピュータ科学(理論計算機科学)などがある。 前現代の論理学については「伝統的論理学」を参照 数理論理学の主な目的は形式論理の数学への応用の探求や数学的な解析などであり、共通課題としてはの表現力や形式証明系の演繹の能力の研究が含まれる。 数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理やに関する結果を共有している。計算機科学(とくにに現れるもの)における数理論理学の役割の詳細はこの記事には含まれていない。詳細はを参照。 Teorie množin je matematická teorie, která se zabývá studiem množin. Množina je buď souhrn nějakých prvků (přičemž nezáleží na jejich pořadí), anebo nějaká matematická formalizace tohoto konceptu. Teorie množin, která vychází z intuice a zachází s množinami jako se soubory nějakých objektů, se nazývá naivní teorie množin. Kromě ní existují axiomatické teorie množin, které přesně formulují vlastnosti množin několika axiomy a z nich (bez využití intuice či dalších předpokladů) odvozují další vlastnosti množin pomocí matematické logiky. Ve většině těchto teorií je možné zkonstruovat všechny běžně používané matematické objekty (tj. reálná čísla, funkce, uspořádané dvojice atd.) jako množiny. Στα μαθηματικά, θεωρία συνόλων ή συνολοθεωρία είναι η θεωρία που μελετάει τα σύνολα και είναι κλάδος της Μαθηματικής Λογικής. Σε αντίθεση με τις υπόλοιπες μαθηματικές θεωρίες που εξετάζουν δομές, δηλαδή σύνολα εφοδιασμένα με συναρτήσεις και σχέσεις (π.χ. ομάδες, τοπολογικοί χώροι) η θεωρία συνόλων μελετά τα ίδια τα σύνολα και τις μεταξύ τους σχέσεις. Άτυπα μπορούμε να πούμε ότι οποιοδήποτε συλλογή αντικείμενων του φυσικού κόσμου ή της νόησης είναι ένα σύνολο. Η θεωρία συνόλων χρησιμοποιεί σαν θεμελιώδη πρωταρχική σχέση την σχέση του "ανήκειν" (ή "είναι μέλος"), συμβολίζεται με є. Αν και ένα σύνολο μπορεί να περιέχει οποιοδήποτε τύπο αντικειμένου, η θεωρία συνόλων ασχολείται συνήθως με σύνολα που τα αντικείμενά τους σχετίζονται με τα μαθηματικά. Mängdteori är del inom matematisk logik som syftar till att studera samlingar av element som kallas för mängder. Det finns flera olika varianter på mängdteori beroende på vilka mängdteoretiska axiom man använder, och man kan därför ibland även tala om "en mängdteori", i betydelsen en variant uppbyggd på ett visst sätt. La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística,​ es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la matemática y la ciencia. Comprende la aplicación de las técnicas de la lógica formal a la construcción y el desarrollo de las matemáticas y el razonamiento matemático, y conversamente la aplicación de técnicas matemáticas a la representación y el análisis de la lógica formal. La investigación en lógica matemática ha jugado un papel crucial en el estudio de los fundamentos de las matemáticas. Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики. В более широком смысле рассматривается как математизированная ветвь формальной логики — «логика по предмету, математика по методу», «логика, развиваемая с помощью математических методов». 수리논리학(數理論理學, 영어: mathematical logic) 또는 기호논리학은 논리학에서 사용하는 명제들을 수학적인 기호로 표시하는 학문이다. 고틀로프 프레게, 버트런드 러셀, 폴 조지프 코언 등이 개척한 분야로서 일상 언어와 같은 자연언어의 사용에서 올수있는 복잡성과 오류의 용이성을 제거하고 명제를 효과적으로 쉽게 다룰 수 있도록 하기 위해 도입한 현대 논리학 이론으로서, 기호를 많이 사용하여 '기호 논리학'(symbolic logic)이라고도 한다. 컴퓨터 과학 및 철학논리와 밀접하게 연관되어 있다. 이 분야는 논리학 및 형식논리의 타 분야로의 응용에 관한 수학적 연구를 포함하고 있으며, 통합적으로는 형식 체계의 표현력과 형식 증명 체계의 연역 가능성에 관한 연구를 포함한다. 수리논리학은 종종 집합론, 모형 이론, 재귀 이론, 증명 이론, 구성적 수학 등의 하위 분야로 나뉜다. 이 분야들은 공통적으로 1차 논리와 정의가능성 등의 기본적인 논리학적 결과들을 바탕으로 하고 있다. Teoria mnogości, teoria zbiorów – dział matematyki, a zarazem logiki matematycznej, zapoczątkowany przez niemieckiego matematyka Georga Cantora pod koniec XIX wieku. Teoria początkowo wzbudzała wiele kontrowersji, jednak wraz z postępem matematyki zaczęła pełnić rolę fundamentu, na którym opiera się większość matematycznych rozważań. Na przestrzeni lat język i metody teorii mnogości przeniknęły do wielu innych działów matematyki (na przykład w algebrze rozważa się obiekty teoriomnogościowe zwane ultrafiltrami). Teoria mnogości rozwijana jest także jako samodzielna dyscyplina. Logika matematika adalah cabang logika dan matematika yang mengandung kajian logika matematis dan aplikasi kajian ini pada bidang-bidang lain di luar matematika. Logika matematika berhubungan erat dengan ilmu komputer dan logika filosofis. Tema utama dalam logika matematika antara lain adalah kekuatan ekspresif dari logika formal dan kekuatan deduktif dari sistem pembuktian formal. Logika matematika sering dibagi ke dalam cabang-cabang dari teori himpunan, teori model, , , serta . Bidang-bidang ini memiliki hasil dasar logika yang serupa. Die Mengenlehre ist ein grundlegendes Teilgebiet der Mathematik, das sich mit der Untersuchung von Mengen, also von Zusammenfassungen von Objekten, beschäftigt. Die gesamte Mathematik, wie sie üblicherweise gelehrt wird, ist in der Sprache der Mengenlehre formuliert und baut auf den Axiomen der Mengenlehre auf. Die meisten mathematischen Objekte, die in Teilbereichen wie Algebra, Analysis, Geometrie, Stochastik oder Topologie behandelt werden, können als Mengen definiert werden. Gemessen daran ist die Mengenlehre eine recht junge Wissenschaft; erst nach der Überwindung der Grundlagenkrise der Mathematik im frühen 20. Jahrhundert konnte die Mengenlehre ihren heutigen, zentralen und grundlegenden Platz in der Mathematik einnehmen. Multzo-teoria multzoen propietateak eta erlazioak aztertzen dituen logika matematikoaren adar bat da. Objektuen bilduma abstraktuak objektu moduan hartzen ditu. Multzoak eta haien arteko eragiketak edozein teoria matematikoren oinarrizko tresna dira. Multzo-teoria aberatsa da matematikaren gainerako objektuak eta egiturak eraikitzeko: zenbakiak, funtzioak, irudi geometrikoak... Logikaren tresnei esker, haien oinarriak aztertzea ahalbidetzen du. Gaur egun, Zermelo-Fraenkelen teoriaren axioma multzoa matematika osoa garatzeko nahikoa dela onartua dago. La lògica matemàtica és la disciplina inclosa en la matemàtica que estudia els sistemes formals en relació amb la manera en què aquests codifiquen els conceptes intuïtius de demostració matemàtica i computació com una part dels fonaments de la matemàtica. S'ha format com a resultat d'aplicar, en el terreny de la lògica, els de la matemàtica basats en l'ocupació d'un llenguatge especial de símbols i fórmules. En la lògica matemàtica, el pensament lògic de contingut (processos del judici i de la demostració) s'estudia representant per mitjà de sistemes lògics formals o càlculs. Resulta, doncs, que la lògica matemàtica, pel seu objecte és lògica, i pel seu mètode és matemàtica. Matematická logika je vědní disciplína nacházející se na rozhraní mezi logikou a matematikou. Zabývá se zkoumáním, formalizováním a matematizováním zejména těch oblastí logiky, na jejichž základech je postavena matematika. V centru jejího zájmu jsou pojmy jako důkaz, teorie, axiomatizace, model, bezespornost, úplnost, rozhodnutelnost. نظرية المجموعة (الجمع: نظرية المجموعات) (بالإنجليزية: Set theory)‏ هو فرع من علم المنطق الرياضي. تهتم تلك النظرية بدراسة المجموعات والتي هي تجميع لكائنات رياضية مجردة والعمليات المطبقة عليها، وتشكل إحدى أهم ركائز الرياضيات الحديثة. كانت بداية الاهتمام بهذا العلم والعمل على دراسته بالقرن التاسع عشر عندما بداه جورج كانتور وريتشارد ديدكايند. وعلى اثر اكتشاف تناقضات عديدة في نظرية المجموعات الأساسية، اقتُرحت العديد من الانظمة البديهية لتجاوز هذه التناقضات ومن هذه كان نظام زيرملو-فرانكلن مع بديهية الاختيار افضلها على الإطلاق.
foaf:depiction
n11:Georg_Cantor_1894.jpg n11:Venn_A_intersect_B.svg n11:Von_Neumann_Hierarchy.svg
dcterms:subject
dbc:Formal_methods dbc:Mathematical_logic dbc:Georg_Cantor dbc:Set_theory
dbo:wikiPageID
27553
dbo:wikiPageRevisionID
1119807661
dbo:wikiPageWikiLink
dbr:Axiomatic_set_theory dbr:Remarks_on_the_Foundations_of_Mathematics dbr:Inaccessible_cardinal dbr:Meagre_set dbr:On_a_Property_of_the_Collection_of_All_Real_Algebraic_Numbers dbr:Boolean_logic dbc:Formal_methods dbr:Law_of_the_excluded_middle dbr:William_Henry_Young dbr:Set_difference dbr:Cambridge_University_Press dbr:Iterative_conception_of_set dbr:Algebraic_topology dbr:Axiom_schema_of_specification dbr:Consistency dbr:Controversy_over_Cantor's_theory dbr:Impredicativity dbr:Grace_Chisholm_Young dbr:Boolean-valued_model dbr:Oxford_University_Press dbr:Cantor's_paradise dbr:Henri_Lebesgue dbr:Rough_set dbr:Large_cardinal dbr:Philosophy dbr:Set_(mathematics) dbc:Mathematical_logic dbr:Solomon_Feferman dbr:Naive_set_theory dbr:Axiom_schema_of_replacement dbr:Axiomatic_system dbr:Thomas_Forster_(mathematician) dbr:Equivalence_relation dbr:Dover_Publications dbr:Matthew_Foreman dbr:Philosophy_of_mathematics dbr:Hermann_Weyl dbr:Propositional_logic dbr:Henri_Poincaré dbr:List_(abstract_data_type) dbc:Georg_Cantor dbr:Hyperarithmetical_theory dbr:Classical_logic dbr:Mathematical_platonism dbr:Thoralf_Skolem dbr:R._L._Goodstein dbr:Continuum_hypothesis dbr:Cantor's_paradox dbr:Ring_(mathematics) dbr:Richard_Dedekind dbr:Combinatorics dbr:Burali-Forti_paradox dbr:Order_relation dbr:Fuzzy_set_theory dbr:Invariant_(mathematics) dbr:New_Math dbr:Relational_model dbr:L._E._J._Brouwer dbr:Real_analysis dbr:Paradoxes_of_set_theory dbr:Term_logic dbr:Infinity dbr:Universal_set dbr:Crispin_Wright dbr:Von_Neumann_universe dbr:Infinite_set dbr:Class_(set_theory) dbr:Validity_(logic) n55:Von_Neumann_Hierarchy.svg dbr:Pure_set dbr:The_Principles_of_Mathematics dbr:Tarski–Grothendieck_set_theory dbr:Natural_number dbr:Natural_numbers dbr:Mathematical_function dbr:Model_theory dbr:Finite_set dbr:Bertrand_Russell dbr:Paul_Bernays dbr:Mathematical_constructivism dbr:Paradoxes dbr:Measurable_cardinal dbr:Julius_König dbr:Metamath dbr:John_Venn dbr:Equivalence_class dbr:Ordered_pair dbr:Ludwig_Wittgenstein dbr:Atomic_formula dbr:Real_number dbr:List_of_set_theory_topics dbr:ZFC dbr:Relation_(mathematics) dbr:Axiom_of_choice dbr:Relational_algebra dbr:Axiom_of_determinacy dbr:Moore_space_(topology) dbr:Axiom_of_power_set dbr:Zermelo_set_theory dbr:Higher_inductive_type dbr:Recursion_theory n55:Venn_A_intersect_B.svg dbr:Georg_Cantor dbr:Primary_school dbr:Univalent_foundations dbr:Akihiro_Kanamori dbr:Philosophical_logic dbr:Datatype dbr:Leopold_Kronecker dbr:Peano_axioms dbr:Karl_Weierstrass dbr:Programming_language dbr:Binary_operation dbr:Second-order_logic dbr:Effective_descriptive_set_theory dbr:Mathematics_education dbr:Pointless_topology dbr:Proper_subset dbr:Transfinite_recursion dbr:Georg_Kreisel dbr:Von_Neumann–Bernays–Gödel_set_theory dbr:New_Foundations dbr:Cumulative_hierarchy dbr:Bernard_Bolzano dbr:Zermelo–Fraenkel_set_theory dbc:Set_theory dbr:Mathematics dbr:Constructive_set_theory dbr:YouTube dbr:Empty_set dbr:Algebraic_geometry dbr:Inference dbr:Number dbr:Klein's_encyclopedia dbr:Semantics_(computer_science) dbr:Antinomy dbr:Mathematical_analysis dbr:Mathematical_logic dbr:Internet_Encyclopedia_of_Philosophy dbr:Russell's_paradox dbr:Circular_definition dbr:Real_line dbr:Homotopy_type_theory dbr:Binary_relation dbr:Borel_equivalence_relation dbr:Ontology dbr:Borel_hierarchy dbr:Complement_(set_theory) dbr:Turing_Machine dbr:Graph_(discrete_mathematics) dbr:Borel_set dbr:Foundations_of_mathematics dbr:Ernst_Zermelo dbr:Venn_diagram dbr:Logical_operators dbr:Ordinal_number dbr:Cardinal_number dbr:Abraham_Fraenkel dbr:Kripke–Platek_set_theory dbr:Vector_space dbr:Consistency_(mathematical_logic) dbr:Discrete_mathematics dbr:Abstract_algebra dbr:Arthur_Schoenflies dbr:General_set_theory dbr:Cardinal_arithmetic dbr:Paul_Cohen_(mathematician) dbr:Intensional_definition dbr:Morse–Kelley_set_theory dbr:Stone_space dbr:Internal_set_theory dbr:John_von_Neumann dbr:Lotfi_A._Zadeh dbr:Intersection_(set_theory) dbr:General_topology dbr:Michael_Dummett dbr:Constructible_universe dbr:Intuitionistic_logic dbr:Set_membership dbr:Zeno_of_Elea dbr:Topology dbr:Glossary_of_set_theory dbr:Errett_Bishop dbr:Manifolds dbr:Erdős–Rado_theorem dbr:Projective_hierarchy n26:_An_Introduction_to_Independence_Proofs dbr:Lightface_pointclass dbr:Symmetric_difference dbr:Polish_space dbr:Forcing_(mathematics) dbr:Union_(set_theory) dbr:First-order_logic dbr:Wadge_degree dbr:Range_of_a_function dbr:Integer dbr:Topos_theory n55:Georg_Cantor_1894.jpg dbr:Proper_class dbr:Domain_of_a_function dbr:Edward_Nelson dbr:Logical_paradox dbr:One-to-one_correspondence dbr:Finitism dbr:Principia_Mathematica dbr:Computer_science dbr:Arithmetic dbr:Computer_programming dbr:Pointclass dbr:University_of_Wisconsin-Milwaukee dbr:Urelement dbr:Indian_mathematics dbr:Multiset dbr:Constructivism_(math) dbr:Gödel's_incompleteness_theorems dbr:Logic dbr:Cartesian_product dbr:Category_theory dbr:Universal_properties dbr:Ramsey's_theorem dbr:Wadge_hierarchy dbr:Subset dbr:Power_set dbr:Axiom_schema_of_separation
dbo:wikiPageExternalLink
n6: n19:books%3Fid=FxRoPuPbGgUC%7Cpublisher= n23:2up n19:books%3Fid=02ASV8VB4gYC n57:n229 n62:hBcWRZMP6xs%7C n73: n85:watch%3Fv=hBcWRZMP6xs&list=PLvAAmIFroksMKHv5O4lwpJJzfmUL0cQ7A&index=3 n19:books%3Fid=ISBN0387940944 n107:mathematicalcirc0000eves_x3z6 n112:%23WittGodeUndeMathProp n112:%23WittInteConsForm n112:%23WittInteFini n112:%23WittLateCritSetTheoNonEnumVsNonDenu n112:%23WittMathTrac n121:2up n125: n19:books%3Fid=DITy0nsYQQoC%7Clocation=Berlin
owl:sameAs
dbpedia-cs:Matematická_logika dbpedia-et:Hulgateooria dbpedia-hu:Matematikai_logika dbpedia-vo:Konletateor dbpedia-nl:Wiskundige_logica dbpedia-ga:Tacartheoiric dbpedia-gd:Loidig_mhatamataigeach dbpedia-nn:Mengdelære dbpedia-ja:集合論 n22:ਸੈਟ_ਸਿਧਾਂਤ yago-res:Axiomatic_set_theory n25:4074715-3 wikidata:Q1166618 dbpedia-eu:Multzo-teoria n29:Téori_impunan dbpedia-nn:Matematisk_logikk dbpedia-gl:Lóxica_matemática n29:Logika_matématika n34:Teorya_ng_pangkat dbpedia-cy:Damcaniaeth_setiau dbpedia-zh:集合论 dbpedia-ko:수리_논리학 dbpedia-ga:Loighic_mhatamaiticiúil n38:Mx4rv36W7ZwpEbGdrcN5Y29ycA dbpedia-ro:Logică_matematică dbpedia-cy:Rhesymeg_mathemateg n34:Lohikang_matematikal dbpedia-ko:집합론 dbpedia-ja:数理論理学 dbpedia-nl:Verzamelingenleer dbpedia-ru:Математическая_логика dbpedia-sh:Matematička_logika n42:Բազմությունների_տեսություն n43:Күмәклектәр_теорияһы dbpedia-pl:Logika_matematyczna dbpedia-eu:Logika_matematiko dbpedia-tr:Set_teorisi n46:Mathematical_logic n47:געזעמלען_טעאריע dbpedia-he:לוגיקה_מתמטית n42:Մաթեմատիկական_տրամաբանություն dbpedia-no:Matematisk_logikk n50:Теория_множеств dbpedia-no:Mengdelære dbpedia-war:Teyorya_set dbpedia-kk:Математикалық_логика dbpedia-he:תורת_הקבוצות dbpedia-es:Lógica_matemática n46:Set_theory dbpedia-ca:Teoria_de_conjunts dbpedia-tr:Matematiksel_mantık dbpedia-simple:Mathematical_logic dbpedia-gl:Teoría_de_conxuntos wikidata:Q97208617 dbpedia-da:Matematisk_logik dbpedia-tr:Kümeler_teorisi dbpedia-bg:Математическа_логика n60:Математикалык_логика dbpedia-de:Mathematische_Logik dbpedia-da:Mængdelære dbpedia-ms:Logik_matematik dbpedia-uk:Математична_логіка dbpedia-de:Mengenlehre freebase:m.06vql dbpedia-ka:სიმრავლეთა_თეორია n67:ریاضیاتی_منطق dbpedia-ka:მათემატიკური_ლოგიკა dbpedia-bg:Теория_на_множествата dbpedia-ru:Теория_множеств dbpedia-kk:Жиындар_теориясы dbpedia-simple:Set_theory n67:نظریۂ_طاقم dbpedia-la:Logica_mathematica dbpedia-hr:Matematička_logika dbpedia-ca:Lògica_matemàtica n71:ഗണസിദ്ധാന്തം dbpedia-id:Logika_matematika n74:කුලක_වාදය dbpedia-fa:نظریه_مجموعه‌ها n74:ගණිතමය_තර්කණය dbpedia-be:Матэматычная_логіка dbpedia-mr:संचप्रवाद dbpedia-sh:Teorija_skupova dbpedia-commons:Set_theory dbpedia-fa:منطق_ریاضی dbpedia-oc:Teoria_deis_ensembles dbpedia-sr:Теорија_скупова n25:4037951-6 dbpedia-uk:Теорія_множин n81:ସେଟ_ତତ୍ତ୍ୱ dbpedia-eo:Matematika_logiko dbpedia-ar:نظرية_المجموعات n84:Theoria_de_insimules n60:Көптүктөр_теориясы dbpedia-hr:Teorija_skupova dbpedia-vi:Logic_toán dbpedia-be:Тэорыя_мностваў dbpedia-vi:Lý_thuyết_tập_hợp dbpedia-ar:منطق_رياضي n87:သင်္ချာယုတ္တိဗေဒ n87:အစုသီအိုရီ n88:Күплек_теориясе dbpedia-fi:Matemaattinen_logiikka n90:गणितीय_तर्कशास्त्र dbpedia-br:Teorienn_an_teskadoù dbpedia-sk:Teória_množín dbpedia-el:Θεωρία_συνόλων dbpedia-pnb:سیٹ_تھیوری dbpedia-io:Ensemblo-teorio dbpedia-el:Μαθηματική_λογική n96:Toʻplamlar_nazariyasi dbpedia-sl:Teorija_množic n90:समुच्चय_सिद्धान्त n98:Teorija_skupova dbpedia-eo:Aro-teorio dbpedia-az:Çoxluqlar_nəzəriyyəsi dbpedia-sl:Matematična_logika n100:Simbolinė_logika dbpedia-pms:Teorìa_dj'ansem dbpedia-is:Mengjafræði n98:Matematička_logika dbpedia-is:Stærðfræðileg_rökfræði dbpedia-az:Riyazi_məntiq dbpedia-lb:Mathematesch_Logik n104:গাণিতিক_যুক্তিবিজ্ঞান dbpedia-pnb:ریاضیاتی_منطق dbpedia-io:Matematikala_logiko dbpedia-la:Theoria_copiarum dbpedia-zh:数理逻辑 dbpedia-ms:Teori_set n105:DYME dbpedia-pl:Teoria_mnogości dbpedia-lmo:Teuría_di_cungjuunt dbpedia-fi:Joukko-oppi n104:সেট_তত্ত্ব n100:Aibių_teorija dbpedia-es:Teoría_de_conjuntos dbpedia-sk:Matematická_logika n108:Teoría_de_conxuntos dbpedia-fr:Logique_mathématique n108:Lóxica_matemática dbpedia-id:Teori_himpunan dbpedia-pt:Lógica_matemática dbpedia-it:Teoria_degli_insiemi n96:Matematik_mantiq dbpedia-mk:Математичка_логика dbpedia-cs:Teorie_množin dbpedia-ro:Teoria_mulțimilor dbpedia-sr:Математичка_логика dbpedia-mk:Теорија_на_множествата n114:Мантиқи_риёзӣ dbpedia-fr:Théorie_des_ensembles n115:सेट_सिद्धान्त n116:Математикăлла_логика n116:Йышсен_теорийĕ dbpedia-sq:Logjika_matematikore dbpedia-th:คณิตตรรกศาสตร์ dbpedia-sv:Mängdteori dbpedia-an:Lochica_matematica dbpedia-th:ทฤษฎีเซต dbpedia-et:Matemaatiline_loogika dbpedia-an:Teoría_de_conchuntos n122:Kopu_teorija dbpedia-sv:Matematisk_logik dbpedia-als:Mathematische_Logik dbpedia-als:Mengenlehre n122:Matemātiskā_loģika dbpedia-it:Logica_matematica n124:ሒሳባዊ_ሥነ_አምክንዮ n124:ሥነ_ስብስብ wikidata:Q12482 n126:கணக்_கோட்பாடு dbpedia-sq:Teoria_e_vendosur n127:Mongdarlæra dbpedia-af:Stelteorie n129:تیۆریی_کۆمەڵە dbpedia-af:Wiskundige_logika dbpedia-hu:Halmazelmélet dbpedia-pt:Teoria_dos_conjuntos dbpedia-sw:Nadharia_seti
dbp:wikiPageUsesTemplate
dbt:ISBN dbt:Sister_project_links dbt:Portal dbt:Small_caps dbt:Authority_control dbt:Sfn dbt:Short_description dbt:Mathematical_logic dbt:Cbignore dbt:Cite_web dbt:Citation_needed dbt:Citation dbt:Math_topics_TOC dbt:Reflist dbt:Math dbt:Set_theory dbt:Springer dbt:Computer_science dbt:Main dbt:Areas_of_mathematics dbt:NoteFoot dbt:NoteTag dbt:Library_resources_about dbt:About dbt:Wikibooks dbt:Mvar
dbo:thumbnail
n11:Venn_A_intersect_B.svg?width=300
dbp:commonscat
yes
dbp:id
p/a014310 p/s084750
dbp:label
set theory
dbp:n
no
dbp:s
no
dbp:title
Axiomatic set theory Set theory
dbo:abstract
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística,​ es el estudio formal y simbólico de la lógica, y su aplicación a algunas áreas de la matemática y la ciencia. Comprende la aplicación de las técnicas de la lógica formal a la construcción y el desarrollo de las matemáticas y el razonamiento matemático, y conversamente la aplicación de técnicas matemáticas a la representación y el análisis de la lógica formal. La investigación en lógica matemática ha jugado un papel crucial en el estudio de los fundamentos de las matemáticas. La lógica matemática estudia la inferencia mediante la construcción de sistemas formales como la lógica proposicional, la lógica de primer orden o la lógica modal. Estos sistemas capturan las características esenciales de las inferencias válidas en los lenguajes naturales, pero al ser estructuras formales susceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas. La lógica matemática se suele dividir en cuatro áreas: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la computabilidad. La teoría de la demostración y la teoría de modelos fueron el fundamento de la lógica matemática. La teoría de conjuntos se originó en el estudio del infinito por Georg Cantor y ha sido la fuente de muchos de los temas más desafiantes e importantes de la lógica matemática, desde el teorema de Cantor, el axioma de elección y la cuestión de la independencia de la hipótesis del continuo, al debate moderno sobre grandes axiomas cardinales. La lógica matemática tiene estrechas conexiones con las ciencias de la computación. La teoría de la computabilidad captura la idea de la computación en términos lógicos y aritméticos. Sus logros más clásicos son la indecidibilidad del Entscheidungsproblem de Alan Turing y su presentación de la tesis de Church-Turing. Hoy en día, la teoría de la computabilidad se ocupa principalmente del problema más refinado de las clases de complejidad (¿cuándo es un problema eficientemente solucionable?) y de la clasificación de los grados de insolubilidad. La lógica matemática también estudia las definiciones de nociones y objetos matemáticos básicos como conjuntos, números, demostraciones y algoritmos. La lógica matemática estudia las reglas de deducción formales, las capacidades expresivas de los diferentes lenguajes formales y las propiedades metalógicas de los mismos. En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no válido un argumento dado dentro de un determinado sistema formal. En un nivel avanzado, la lógica matemática se ocupa de la posibilidad de axiomatizar las teorías matemáticas, de clasificar su capacidad expresiva, y desarrollar métodos computacionales útiles en sistemas formales. La teoría de la demostración y la son dos de los razonamientos más recientes de la lógica matemática abstracta. Debe señalarse que la lógica matemática se ocupa de sistemas formales que pueden no ser equivalentes en todos sus aspectos, por lo que la lógica matemática no es un método para descubrir verdades del mundo físico real, sino solo una fuente posible de modelos lógicos aplicables a teorías científicas, muy especialmente a la matemática convencional. Por otra parte, la lógica matemática no estudia el concepto de razonamiento humano general o el proceso creativo de construcción de demostraciones matemáticas mediante argumentos rigurosos pero con lenguaje informal con algunos signos o diagramas, sino solo de demostraciones y razonamientos que se pueden formalizar por completo. La logica matematica è il settore della matematica che studiai sistemi formali dal punto di vista del modo di codificarei concetti intuitivi della dimostrazione e di computazionecome parte dei fondamenti della matematica. Essa si occupa delle parti della logica che possono essere modellate matematicamente. Altri termini utilizzati spesso nel passato sono logica simbolica (termine contrapposto a logica filosofica) e metamatematica, termine che ora si applica più specificamente a taluni aspetti della teoria della dimostrazione. 数理逻辑(英語:Mathematical logic)是数学的一个分支,其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑(相对于哲学逻辑),又称元数学,后者的使用现已局限于证明论的某些方面。 Teorie množin je matematická teorie, která se zabývá studiem množin. Množina je buď souhrn nějakých prvků (přičemž nezáleží na jejich pořadí), anebo nějaká matematická formalizace tohoto konceptu. Teorie množin, která vychází z intuice a zachází s množinami jako se soubory nějakých objektů, se nazývá naivní teorie množin. Kromě ní existují axiomatické teorie množin, které přesně formulují vlastnosti množin několika axiomy a z nich (bez využití intuice či dalších předpokladů) odvozují další vlastnosti množin pomocí matematické logiky. Ve většině těchto teorií je možné zkonstruovat všechny běžně používané matematické objekty (tj. reálná čísla, funkce, uspořádané dvojice atd.) jako množiny. Die mathematische Logik, auch symbolische Logik oder veraltet Logistik, ist ein Teilgebiet der Mathematik, insbesondere als Methode der Metamathematik und eine Anwendung der modernen formalen Logik. Oft wird sie wiederum in die Teilgebiete Modelltheorie, Beweistheorie, Mengenlehre und Rekursionstheorie aufgeteilt. Forschung im Bereich der mathematischen Logik hat zum Studium der Grundlagen der Mathematik beigetragen und wurde auch durch dieses motiviert. Infolgedessen wurde sie auch unter dem Begriff Metamathematik bekannt. Ein Aspekt der Untersuchungen der mathematischen Logik ist das Studium der Ausdrucksstärke von formalen Logiken und formalen Beweissystemen. Eine Möglichkeit, die Komplexität solcher Systeme zu messen, besteht darin, festzustellen, was damit bewiesen oder definiert werden kann. 集合論(英語:Set theory)或稱集論,是研究集合(由一堆抽象对象構成的整體)的數學理論,包含集合和元素(或稱為成員)、關係等最基本數學概念。在大多數現代數學的公式化中,都是在集合論的語言下談論各種数学对象。集合論、命題邏輯與謂詞邏輯共同構成了數學的公理化基礎,以未定義的「集合」與「集合成員」等術語來形式化地建構數學物件。 現代集合論的研究是在1870年代由俄国数学家康托爾及德國数学家理察·戴德金的樸素集合論開始。在樸素集合論中,集合是當做一堆物件構成的整體之類的自證概念,沒有有關集合的形式化定義。在發現樸素集合論會產生一些後,二十世紀初期提出了許多公理化集合論,其中最著名的是包括選擇公理的策梅洛-弗蘭克爾集合論,簡稱ZFC。公理化集合論不直接定義集合和集合成員,而是先規範可以描述其性質的一些公理。 集合論常被視為數學基礎之一,特別是 ZFC 集合論。除了其基礎的作用外,集合論也是數學理論中的一部份,當代的集合論研究有許多離散的主題,從實數線的結構到大基数的一致性等。 Cur i bhfeidhm an chruinnis mhatamaiticiúil is teicníochtaí siombalacha i staidéar na loighce. Mar shampla, forbairt na dteangacha foirmiúla is na gcóras aicsímí chun cruthuithe loighciúla a thógáil. Tugtar loighic shiombalach uirthi freisin. Bunaíodh an t-ábhar ar shaothar Boole, agus ina dhiaidh sin saothar Frege, Whitehead is Russell, Gödel, is Tarski. Tagairtí Aro-teorio aŭ aroteorio (aŭ arteorio) estas branĉo de matematiko kaj komputiko kreita ĉefe de la germana matematikisto Georg Cantor fine de la 19-a jarcento. Ĝi komence estis disputata, sed nuntempe iĝis grava en la por difini bazajn konceptojn kiel nombro. Komence oni evoluigis la naivan aŭ intuician arteorion, kiun oni povas difini jene: La bazaj konceptoj de arteorio estas aroj kaj membreco. Aro estas kolekto de objektoj, nomitaj membroj (aŭ elementoj) de la aro. La membroj povas esti ekzemple nombroj, funkcioj, aŭ aroj mem. Oni skribas la arojn per la ondkrampoj { kaj }. Do {1,2} estas aro, kaj ankaŭ {1,2,3,4,...} (la infinita aro de la naturaj nombroj, nomata N), kaj eĉ {2,3,N}, do la membroj ne devas esti de la sama klaso. Ankaŭ la malplena aro {} estas konsiderata aro. Al tiaj aroj oni povas apliki diversajn operaciojn, kiel la kunaĵon kaj la komunaĵon. Tamen montriĝis ke, se oni aplikas ĉiujn operaciojn senlime, aperas paradoksoj kiel la Rusela paradokso. Por solvi tiujn problemojn, oni rekonstruis la arteorion uzante aksioman metodon. A lógica matemática é uma subárea da matemática que explora as aplicações da lógica formal para a matemática. Basicamente, tem ligações fortes com matemática, os fundamentos da matemática e ciência da computação teórica. Os temas unificadores na lógica matemática incluem o estudo do poder expressivo de sistemas formais e o poder dedutivo de sistemas de prova matemática formal. A lógica matemática é muitas vezes dividida em campos da teoria dos conjuntos, teoria de modelos, teoria da recursão e teoria da prova. Estas áreas compartilham resultados básicos sobre lógica, particularmente lógica de primeira ordem, e definibilidade. Na ciência da computação, especialmente na classificação ACM, onde ACM vem do inglês (Association for Computing Machinery), lógica matemática engloba tópicos adicionais não descritos neste artigo; ver lógica em ciência da computação para este tópico anterior. Desde o seu surgimento, a lógica matemática tem contribuído e motivado pelo estudo dos fundamentos da matemática. Este estudo foi iniciado no final do século XIX, com o desenvolvimento de arcabouço axiomático para geometria, aritmética e análise. No início do século XX a lógica matemática foi moldada pelo programa de David Hilbert para provar a consistência das teorias fundamentais. Os resultados de Kurt Godel, Gerhard Gentzen, e outros, desde resolução parcial do programa, e esclareceu as questões envolvidas em provar a consistência. O trabalho na teoria dos conjuntos mostrou que quase toda a matemática ordinária pode ser formalizada em termos de conjuntos, embora existam alguns teoremas que não podem ser demonstrados em sistemas axiomáticos comuns para a teoria dos conjuntos. O trabalho contemporâneo nos fundamentos da matemática, muitas vezes se concentra em estabelecer quais as partes da matemática que podem ser formalizadas, em particular, sistemas formais (como em matemática reversa) ao invés de tentar encontrar as teorias em que toda a matemática pode ser desenvolvida. Subáreas e escopo O manual de lógica matemática divide a matemática contemporânea em quatro áreas: 1. * Teoria dos conjuntos; 2. * teoria dos modelos; 3. * teoria da recursão; 4. * teoria da prova e da matemática construtiva consideradas partes de uma única área. Cada área tem um foco distinto, apesar de ter várias técnicas e resultados comuns entre si. A divisão das referidas áreas e os limites que separam a lógica matemática de outros campos de estudo não são bem definidas. A teoria da incompletude de Gödel representa não só um marco na teoria da recursão e teoria da prova, mas também contribuiu para o teorema de Löb da teoria dos modelos. O método do forçamento ("forcing") é aplicada na teoria dos conjuntos, na teoria dos modelos, na teoria da recursão, assim como no estudos da matemática intuiticionística. O campo matemático conhecido como o da teoria das categorias usa muitos métodos axiomáticos formais nos quais se inclui o estudo da lógica categórica, mas essa teoria não é comumente considerada um sub-ramo da lógica. Por causa da sua aplicabilidade em diversos campos da lógica, matemáticos como Saunders Mac Lane propuseram usar a teoria das categorias como fundamentos da matemática, independentemente da teoria dos conjuntos. Essas fundamentações usam tópicos que em muito se parecem com modelos generalizados das teorias dos conjuntos, e empregam lógica clássica ou não-clássica. Brainse de loighic mhatamaiticiúil is ea tacartheoiric (nó teoiric na dtacar), a dhéanann staidéar ar thacair; go neamhfhoirmiúi is bailiúcháin de réada iad. Cé gur féidir le réad ar bith a bhailiú i dtacar, is minic a úsáidtear tacartheoiric ar rudaí a bhaineann leis an matamaitic. Is féidir leas a bhaint as teanga na tacartheoirice chun beagnach gach réad matamaitice a shainiú. Chuir Georg Cantor agus Richard Dedekind staidéar nua-aimseartha na tacartheoirice ar bun sna 1870í. Tar éis gur aimsíodh paradacsaí i dtacartheoiric shoineanta, cosúil le paradacsa Russell, moladh go leor córas aicsíme go luath san fhichiú haois, agus is iad na haicsímí Zermelo-Fraenkel, le no gan an rogha aicsím, an ceann is mó clú. Is iondúil go n-úsáidtear teoiric socraithe mar chóras bunaithe don mhatamaitic, go háirithe i bhfoirm na teoirice Zermelo-Fraenkel leis an rogha aicsím. Taobh amuigh dá ról bunaidh, is brainse matamaitice ann féin í an tacartheoiric, le pobal taighde gníomhach. Cuimsíonn taighde comhaimseartha ar thacartheoiric bailiúchán éagsúil topaicí, a chuimsíon idir struchtúr na réaduimhreach agus go staidéar ar chomhsheasmhacht na mbuanuimhreacha móra. نظرية المجموعة (الجمع: نظرية المجموعات) (بالإنجليزية: Set theory)‏ هو فرع من علم المنطق الرياضي. تهتم تلك النظرية بدراسة المجموعات والتي هي تجميع لكائنات رياضية مجردة والعمليات المطبقة عليها، وتشكل إحدى أهم ركائز الرياضيات الحديثة. كانت بداية الاهتمام بهذا العلم والعمل على دراسته بالقرن التاسع عشر عندما بداه جورج كانتور وريتشارد ديدكايند. وعلى اثر اكتشاف تناقضات عديدة في نظرية المجموعات الأساسية، اقتُرحت العديد من الانظمة البديهية لتجاوز هذه التناقضات ومن هذه كان نظام زيرملو-فرانكلن مع بديهية الاختيار افضلها على الإطلاق. Mängdteori är del inom matematisk logik som syftar till att studera samlingar av element som kallas för mängder. Det finns flera olika varianter på mängdteori beroende på vilka mängdteoretiska axiom man använder, och man kan därför ibland även tala om "en mängdteori", i betydelsen en variant uppbyggd på ett visst sätt. Teoria mnogości, teoria zbiorów – dział matematyki, a zarazem logiki matematycznej, zapoczątkowany przez niemieckiego matematyka Georga Cantora pod koniec XIX wieku. Teoria początkowo wzbudzała wiele kontrowersji, jednak wraz z postępem matematyki zaczęła pełnić rolę fundamentu, na którym opiera się większość matematycznych rozważań. Na przestrzeni lat język i metody teorii mnogości przeniknęły do wielu innych działów matematyki (na przykład w algebrze rozważa się obiekty teoriomnogościowe zwane ultrafiltrami). Teoria mnogości rozwijana jest także jako samodzielna dyscyplina. Тео́рія множи́н — розділ математики, в якому вивчаються загальні властивості множин (переважно нескінченних). Виділення теорії множин в самостійний розділ математики відбулося на рубежі XIX і XX століть. Теорія множин зробила дуже великий вплив на розвиток сучасної математики — вона є фундаментом низки нових розділів математики, дозволила по-новому поглянути на класичні розділи математики і глибше зрозуміти сам предмет математики. Сучасні дослідження теорії множин були започатковані Георгом Кантором і Ріхардом Дедекіндом в 1870-х роках. Після відкриття парадоксів наївної теорії множин, на початку XX століття були запропоновані численні системи аксіом, серед яких найвідомішою є система Цермело-Френкеля з аксіомою вибору. Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики. В более широком смысле рассматривается как математизированная ветвь формальной логики — «логика по предмету, математика по методу», «логика, развиваемая с помощью математических методов». De verzamelingenleer vormt sinds het begin van de twintigste eeuw een van de grondslagen van de wiskunde. De verzamelingenleer betreft de bestudering en formalisering van het begrip verzameling, en ondersteunt daarmee de axiomatische onderbouwing van andere deelgebieden van de wiskunde. La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du XIXe siècle. La théorie des ensembles se donne comme primitives les notions d'ensemble et d'appartenance, à partir desquelles elle reconstruit les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes… C'est pourquoi la théorie des ensembles est considérée comme une théorie fondamentale dont Hilbert a pu dire qu'elle était un « paradis » créé par Cantor pour les mathématiciens. En plus de proposer un fondement aux mathématiques, Cantor introduisit avec la théorie des ensembles des concepts radicalement nouveaux, et notamment l'idée qu'il existe plusieurs types d'infini que l'on peut mesurer et comparer au moyen de nouveaux nombres (ordinaux et cardinaux). À cause de sa modernité, la théorie des ensembles fut âprement controversée, notamment parce qu'elle postulait l'existence d'ensembles infinis, en contradiction avec certains principes des mathématiques constructives ou intuitionnistes. Au début du XXe siècle, plusieurs facteurs ont poussé les mathématiciens à développer une axiomatique pour la théorie des ensembles : la découverte de paradoxes tels que le paradoxe de Russell, mais surtout le questionnement autour de l'hypothèse du continu qui nécessitait une définition précise de la notion d'ensemble. Cette approche formelle conduisit à plusieurs systèmes axiomatiques, le plus connu étant les , mais également la théorie des classes de von Neumann ou la théorie des types de Russell. Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly concerned with those that are relevant to mathematics as a whole. The modern study of set theory was initiated by the German mathematicians Richard Dedekind and Georg Cantor in the 1870s. In particular, Georg Cantor is commonly considered the founder of set theory. The non-formalized systems investigated during this early stage go under the name of naive set theory. After the discovery of paradoxes within naive set theory (such as Russell's paradox, Cantor's paradox and the Burali-Forti paradox) various axiomatic systems were proposed in the early twentieth century, of which Zermelo–Fraenkel set theory (with or without the axiom of choice) is still the best-known and most studied. Set theory is commonly employed as a foundational system for the whole of mathematics, particularly in the form of Zermelo–Fraenkel set theory with the axiom of choice. Besides its foundational role, set theory also provides the framework to develop a mathematical theory of infinity, and has various applications in computer science (such as in the theory of relational algebra), philosophy and formal semantics. Its foundational appeal, together with its paradoxes, its implications for the concept of infinity and its multiple applications, have made set theory an area of major interest for logicians and philosophers of mathematics. Contemporary research into set theory covers a vast array of topics, ranging from the structure of the real number line to the study of the consistency of large cardinals. La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du XIXe siècle, qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité. 집합론(集合論, 영어: set theory)은 추상적 대상들의 모임인 집합을 연구하는 수학 이론이다. 집합론은 술어논리학과 함께 대부분의 수학기초론 체계의 근본으로, 현대 수학을 논리적으로 지탱하는 밑바탕이 된다. 소박한 집합론에서는 집합을 단순히 대상들을 모아서 만들어지는 자명한 개념으로 이해한다. 중학교 및 고등학교 등의 교육과정에서 다루는 집합의 개념은 이에 해당한다. 소박한 집합론의 모순을 해결하기 위해 등장한 공리적 집합론은 집합들과 그 포함관계가 만족하는 공리들을 규정하는 방법으로 집합을 간접적으로 정의한다. 여기에서 집합과 그 포함관계는 유클리드 기하에서의 점이나 선과 같은 무정의 용어로 볼 수 있다. 공리적 집합론은 대부분의 경우 대학에서 수학을 전공하지 않는 이상 배우지 않는다. Logika matematikoa, logika sinbolikoa, logika teoretikoa, logika formala edo logistika ere deitua, logikaren azterketa formal eta sinbolikoa da, eta matematikaren eta zientziaren arlo batzuetan duen aplikazioa. Logika formalaren teknikak matematikaren eta arrazoiketa matematikoaren eraikuntzan eta garapenean aplikatzea ulertzen du, eta, elkarrekin, logika formalaren irudikapenean eta analisian teknika matematikoak aplikatzea. Logika matematikoaren ikerketak berebiziko garrantzia izan du aztertzean. Logika matematikoak inferentziaz aztertzen du logika proposizionala, lehen mailako logika edo logika modala bezalako eraikiz. Sistema hauek, lengoaia naturaletan balio duten inferentzien funtsezko ezaugarriak harrapatzen dituzte, baina, analisi matematikoa izan dezaketen egitura formalak direnez, hauei buruzko demostrazio zorrotzak egitea ahalbidetzen dute. Logika matematikoa lau arlotan banatu ohi da: , , multzoen teoria eta konputagarritasunaren teoria. Frogapenaren teoria eta ereduen teoria logika matematikoaren oinarria izan ziren. Multzoen teoria Georg Cantorek infinituaren azterketan sortu zen, eta logika matematikoaren gai desafiatzaile eta garrantzitsuenetako askoren iturria izan da, , eta independentziatik abiatuta, handiei buruzko eztabaida modernora. Logika matematikoak lotura estuak ditu konputazio zientziekin. Konputagarritasunaren teoriak konputazioaren ideia termino logiko eta aritmetikoetan harrapatzen du. Bere lorpenik klasikoenak Alan Turingen delakoaren adierazezintasuna eta aurkezpena dira. Gaur egun, konputagarritasunaren teoria konplexutasun-moten arazo finenaz (noiz da eraginkortasunez konpon daitekeen arazoa?) eta sailkapenaz arduratzen da nagusiki. Logika matematikoak oinarrizko nozio eta objektu matematikoen definizioak ere aztertzen ditu, hala nola, multzoak, zenbakiak, demostrazioak eta algoritmoak. Logika matematikoak dedukzio-arau formalak, hizkuntza formalen adierazpen-gaitasunak eta horien propietate metalogikoak aztertzen ditu. Oinarrizko maila batean, logikak arauak eta teknikak ematen ditu sistema formal jakin baten barruan emandako argudio bat baliozkoa den ala ez erabakitzeko. Maila aurreratu batean, logika matematikoa teoria matematikoak axiomatizatzeko aukeraz arduratzen da, haien adierazpen-gaitasuna sailkatzeaz eta sistema formaletan baliagarriak diren metodo konputazionalak garatzeaz. Frogapenaren teoria eta logika matematiko abstraktuaren azken arrazoibideetako bi dira. Aipatu behar da logika matematikoa bere alderdi guztietan baliokideak ez diren sistema formalez arduratzen dela, eta, beraz, logika matematikoa ez da mundu fisiko errealeko egiak aurkitzeko metodo bat, baizik eta teoria zientifikoei, bereziki matematika konbentzionalari, aplika dakizkiekeen eredu logikoen iturri posible bat. Bestalde, logika matematikoak ez du giza arrazonamendu orokorraren kontzeptua edo argumentu zorrotzen bidez baina zenbait zeinu edo diagramarekin lengoaia informala erabiliz demostrazio matematikoak eraikitzeko prozesu sortzailea aztertzen, baizik eta erabat formaliza daitezkeen demostrazio eta arrazonamenduena. 数理論理学(すうりろんりがく、英 : mathematical logic)または現代論理学、記号論理学、数学基礎論、超数学は、数学の分野の一つであり、「数学の理論を展開する際にその骨格となる論理の構造を研究する分野」を指す。数理論理学(数学基礎論)と密接に関連している分野としてはコンピュータ科学(計算機科学)や理論コンピュータ科学(理論計算機科学)などがある。 前現代の論理学については「伝統的論理学」を参照 数理論理学の主な目的は形式論理の数学への応用の探求や数学的な解析などであり、共通課題としてはの表現力や形式証明系の演繹の能力の研究が含まれる。 数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理やに関する結果を共有している。計算機科学(とくにに現れるもの)における数理論理学の役割の詳細はこの記事には含まれていない。詳細はを参照。 この分野が始まって以来、数理論理学は数学基礎論の研究に貢献し、また逆に動機付けられてきた。数学基礎論は幾何学、代数学、解析学に対する公理的枠組みの開発とともに19世紀末に始まった。20世紀初頭、数学基礎論は、ヒルベルトのプログラムによって、数学の基礎理論の無矛盾性を証明するものとして形成された。クルト・ゲーデルとゲルハルト・ゲンツェンによる結果やその他は、プログラムの部分的な解決を提供しつつ、無矛盾性の証明に伴う問題点を明らかにした。集合論における仕事は殆ど全ての通常の数学を集合の言葉で形式化できることを示した。しかしながら、集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。むしろ現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか(逆数学のように)ということに焦点を当てている。 المنطق هو العلم الذي يبحث في القواعد التي تتبع في التفكير وطرق الاستدلال الصحيح. وهو بذلك أداة للتفكير لأنه يعنى بتحليل طرق التفكير وصيانته من الخطأ. والعملية المنطقية تهتم بفئة من الصيغ أو القضايا. القضية: جملة تقوم على علاقة بين عدد من الكلمات المفهومة، وتنقسم إلى قسمين: 1. * القضية الإخبارية: وهي تخبر عن شيء ما وتحتمل الصدق أو الكذب مثل (المثلثات المتطابقة متكافئة)، (كل ما في الكون يجذب بعضه بعضا). 2. * القضية الإنشائية: وهي التي لا يمكن أن توصف بالصدق أو الكذب مثل لا تمش في الأرض مرحا وهي ليست قضايا منطقية. والقضية المنطقية جملة خبرية تحتمل الصدق أو الكذب ويمكن التحقق منها فالجملة المعادن تتمدد بالحرارة جملة خبرية يمكن التحقق من صحتها بإجراء التجارب وإقرار صحة العبارة من عدمه.والقضية مفهوم أساسي في المنطق نتعلم تصنيفها كما ورد سابقا عن طريق الخبرة مثل: 1. * ابن تيمية صاحب كتاب رفع الملام عن الأئمة الأعلام. (خبرية) 2. * ينزل المطر في الخريف. (خبرية) 3. * لا تنه عن خلق وتأتي بمثله. (إنشائية) 4. * كيف حالك؟ (إنشائية) وما دمنا سنتحدث كثيرا عن الصدق والخطأ سنرمز لهما بالحرفين (ص) (خ).ومن ذلك كله نقول أن القضية المنطقية تحتمل الصدق أو الكذب. La lògica matemàtica és la disciplina inclosa en la matemàtica que estudia els sistemes formals en relació amb la manera en què aquests codifiquen els conceptes intuïtius de demostració matemàtica i computació com una part dels fonaments de la matemàtica. S'ha format com a resultat d'aplicar, en el terreny de la lògica, els de la matemàtica basats en l'ocupació d'un llenguatge especial de símbols i fórmules. En la lògica matemàtica, el pensament lògic de contingut (processos del judici i de la demostració) s'estudia representant per mitjà de sistemes lògics formals o càlculs. Resulta, doncs, que la lògica matemàtica, pel seu objecte és lògica, i pel seu mètode és matemàtica. Es pot entendre com la matemàtica de la lògica, ja que comprèn aquelles parts de la lògica que poden ser modelades matemàticament. Anteriorment la lògica matemàtica es coneixia com a lògica simbòlica i metamatemàtica que ara són termes restringits a determinats aspectes de la teoria de la prova. Aquesta conté generalitzacions de llarg abast, i el desenvolupament de les idees i mètodes de la lògica formal tradicional constitueix precisament l'etapa present d'el desenvolupament de la lògica formal. La lògica matemàtica contemporània inclou en si una sèrie de càlculs lògics que constitueixen una teoria sobre aquests càlculs, sobre les seves premisses, propietats i aplicacions. Al costat de l'estudi de l'estructura formal dels càlculs lògics, en la lògica matemàtica sorgeix també la necessitat d'examinar les relacions entre els càlculs i les esferes de contingut que serveixen per a les interpretacions i models d'aquestes relacions. En aquesta qüestió es esbossa la problemàtica de la semàntica lògica. La sintaxi lògica i la semàntica s'inclouen en la metalògica, teoria sobre els recursos per a descriure les premisses i les propietats dels càlculs lògics. Van ser George Boole i Augustus De Morgan, durant el segle xix, els que van sistematitzar matemàticament la lògica, per això van haver de reformar i completar la lògica tradicional aristotèlica. La lògica matemàtica inclou la teoria de models i la teoria de la demostració i recursió o altrament computabilitat, branca aquesta compatida amb la ciència informàtica. Gran part de la lògica matemàtica moderna s'ocupa de . Multzo-teoria multzoen propietateak eta erlazioak aztertzen dituen logika matematikoaren adar bat da. Objektuen bilduma abstraktuak objektu moduan hartzen ditu. Multzoak eta haien arteko eragiketak edozein teoria matematikoren oinarrizko tresna dira. Multzo-teoria aberatsa da matematikaren gainerako objektuak eta egiturak eraikitzeko: zenbakiak, funtzioak, irudi geometrikoak... Logikaren tresnei esker, haien oinarriak aztertzea ahalbidetzen du. Gaur egun, Zermelo-Fraenkelen teoriaren axioma multzoa matematika osoa garatzeko nahikoa dela onartua dago. Multzo-teoriaren lehenengo ikerketa formala Georg Cantor matematikariak egin zuen XIX. mendean. Egun, multzo-teoria eskolako matematiketan irakasten den gaia da, zenbaketa irakasteko adibidez, baina ebatzi gabeko problema eta paradoxa anitz aztertzeko tresna ere bada. Horrela, ohikoa da multzo teoria naive edo sinplea (eskolan irakasten dena) eta multzo-teoria axiomatikoa (matematika puruaren arloan, formalki konplexutasun handikoa eta paradoxak ebazteko sortu zena) bereiztea. Η μαθηματική λογική είναι ένας κλάδος των μαθηματικών και της επιστήμης υπολογιστών, με στενή σχέση και με τη φιλοσοφική λογική. Το πεδίο περιλαμβάνει τη μαθηματική μελέτη της λογικής και τις εφαρμογές της τυπικής λογικής σε άλλες περιοχές των μαθηματικών. Οι βασικότερες ιδέες στη μαθηματική λογική περιλαμβάνουν τη μελέτη της εκφραστικής ισχύος των τυπικών συστημάτων και της συμπερασματικής ισχύος των συστημάτων τυπικών αποδείξεων. Η μαθηματική λογική διαιρείται συχνά στα υποπεδία θεωρία συνόλων, θεωρία μοντέλων, θεωρία αναδρομής και και . Οι περιοχές αυτές μοιράζονται βασικά αποτελέσματα πάνω στη λογική, και ειδικά στην λογική πρώτου βαθμού και την . Από τη γέννησή της, η μαθηματική λογική έχει συμβάλλει αλλά και ωθείται από τη μελέτη των θεμελίων των μαθηματικών. Η μελέτη αυτή ξεκίνησε στο τέλος του 19ου αιώνα με την ανάπτυξη των πλαισίων για τη γεωμετρία, την αριθμητική και την ανάλυση. Στην αρχή του 20ού αιώνα διαμορφώθηκε από το του Ντάβιντ Χίλμπερτ για την απόδειξη της συνέπειας των θεμελιακών θεωριών. Η εργασία πάνω στη θεωρία συνόλων έδειξε ότι σχεδόν όλα τα συνηθισμένα μαθηματικά μπορούν να διατυπωθούν με βάση τα σύνολα, αν και υπάρχουν κάποια θεωρήματα που δεν μπορούν να αποδειχθούν στα συνήθη αξιωματικά συστήματα για τη θεωρία συνόλων. Η σύγχρονη μελέτη στα θεμέλια των μαθηματικών συχνά εστιάζει στο να θεσπίσει ποια κομμάτια των μαθηματικών μπορούν να διατυπωθούν σε συγκεκριμένα τυπικά συστήματα, και όχι στο να αναπτύξει θεωρίες από όπου αναπτύσσονται όλα τα μαθηματικά. Die Mengenlehre ist ein grundlegendes Teilgebiet der Mathematik, das sich mit der Untersuchung von Mengen, also von Zusammenfassungen von Objekten, beschäftigt. Die gesamte Mathematik, wie sie üblicherweise gelehrt wird, ist in der Sprache der Mengenlehre formuliert und baut auf den Axiomen der Mengenlehre auf. Die meisten mathematischen Objekte, die in Teilbereichen wie Algebra, Analysis, Geometrie, Stochastik oder Topologie behandelt werden, können als Mengen definiert werden. Gemessen daran ist die Mengenlehre eine recht junge Wissenschaft; erst nach der Überwindung der Grundlagenkrise der Mathematik im frühen 20. Jahrhundert konnte die Mengenlehre ihren heutigen, zentralen und grundlegenden Platz in der Mathematik einnehmen. Teoria dos conjuntos ou de conjuntos é o ramo da lógica matemática que estuda conjuntos, que (informalmente) são coleções de elementos. Embora qualquer tipo de elemento possa ser reunido em um conjunto, a teoria dos conjuntos é, em geral, investigada com elementos que são relevantes para os fundamentos da matemática. O estudo moderno da teoria dos conjuntos foi iniciado por Georg Cantor e Richard Dedekind em 1870. Após a descoberta de paradoxos na teoria ingênua dos conjuntos (i.e. sem formalização precisa), numerosos sistemas axiomáticos foram propostos no início do século XX, dos quais a teoria dos conjuntos de Zermelo-Fraenkel, com ou sem o axioma da escolha, são os mais conhecidos e estudados. A teoria dos conjuntos é comumente empregada como um sistema precursor da matemática, particularmente na forma de teoria dos conjuntos de Zermelo-Fraenkel com o axioma da escolha. Além de seu papel fundamental, a teoria dos conjuntos é um ramo da matemática em si própria, com uma comunidade de pesquisa ativa. Pesquisas contemporâneas em teoria dos conjuntos incluem uma diversa coleção de temas, variando da estrutura da reta dos números reais ao estudo da consistência de grandes cardinais. Тео́рия мно́жеств — раздел математики, в котором изучаются общие свойства множеств — совокупностей элементов произвольной природы, обладающих каким-либо общим свойством. Создана во второй половине XIX века Георгом Кантором при значительном участии Рихарда Дедекинда, привнесла в математику новое понимание природы бесконечности, была обнаружена глубокая связь теории с формальной логикой, однако уже в конце XIX — начале XX века теория столкнулась со значительными сложностями в виде возникающих парадоксов, поэтому изначальная форма теории известна как наивная теория множеств. В XX веке теория получила существенное методологическое развитие, были созданы несколько вариантов аксиоматической теории множеств, обеспечивающие универсальный математический инструментарий, в связи с вопросами измеримости множеств тщательно разработана дескриптивная теория множеств. Теория множеств стала основой многих разделов математики — общей топологии, общей алгебры, функционального анализа и оказала существенное влияние на современное понимание предмета математики. В первой половине XX века теоретико-множественный подход был привнесён и во многие традиционные разделы математики, в связи с чем стал широко использоваться в преподавании математики, в том числе в школах. Однако использование теории множеств для логически безупречного построения математических теорий осложняется тем, что она сама нуждается в обосновании своих методов рассуждения. Более того, все логические трудности, связанные с обоснованием математического учения о бесконечности, при переходе на точку зрения общей теории множеств приобретают лишь бо́льшую остроту. Начиная со второй половины XX века представление о значении теории и её влияние на развитие математики заметно снизились за счёт осознания возможности получения достаточно общих результатов во многих областях математики и без явного использования её аппарата, в частности, с использованием теоретико-категорного инструментария (средствами которого в теории топосов обобщены практически все варианты теории множеств). Тем не менее нотация теории множеств стала общепринятой во всех разделах математики вне зависимости от использования теоретико-множественного подхода. На идейной основе теории множеств в конце XX века создано несколько обобщений, в том числе теория нечётких множеств, теория мультимножеств (используемые в основном в приложениях), (развиваемая в основном чешскими математиками). Ключевые понятия теории: множество (совокупность объектов произвольной природы), отношение принадлежности элементов множествам, подмножество, операции над множествами, отображение множеств, взаимно-однозначное соответствие, мощность (конечная, счётная, несчётная), трансфинитная индукция. Matematisk logik har generellt två betydelser. Det kan betyda logik studerad med matematiska metoder eller matematikens logik. Ofta avser man båda dessa tolkningar: man studerar matematikens logik med matematiska metoder. Begreppet ska förstås ses som kontrast till filosofisk logik. 集合論(しゅうごうろん、英:Set theory)は、集合とよばれる数学的対象をあつかう数学理論である。 通常、「集合」はいろいろな数学的対象の集まりを表していると見なされる。これは日常的な意味でのものの集まりやその要素、特定のものが入っているかいないか、という概念を包摂している。現代数学の定式化においては集合論がさまざまな数学的対象を描写する言葉をあたえている。集合論は数学の公理的な基礎付けをあたえ、数学的な対象を形式的に「集合」と「帰属関係」によって構成することが可能になる。また、集合論の公理として何を仮定するとどんな体系が得られるか、といった集合それ自体の研究も活発に行われている。 集合論における基本的な操作には、あたえられた集合のべき集合や直積集合をとる、などがある。また二つの集合の元同士の関係を通じて定義される順序関係や写像などの概念が集合の分類に重要な役割を果たす。集合論では、二つの集合の間に全単射が存在するとき濃度が等しいという。そこで集合を濃度の等しさによって類別した各々の同値類のことを濃度という。この定義では濃度は真のクラスになってしまうので、濃度そのものを集合論的な対象として取り扱い難い。選択公理を仮定すると任意の集合は整列可能であることが導かれる。整列集合の順序型を順序同型で類別した各々の同値類と定義してしまうと、それは真のクラスとなってしまう。幸いなことに任意の整列集合は順序数と呼ばれる特別な集合と順序同型となる。そのためそれら順序数を整列集合の順序型と定義することができる。また順序数全体 もまた整列順序付けられている。集合の濃度を と定義することができる。すなわち濃度というのを特別な順序数として定義するわけである。このようにすることで濃度の定義から真のクラスを追放することができる。ただし選択公理を仮定することなく濃度を定義し取り扱うことはできる。基本的なアイデアは濃度で類別した各々同値類から累積階層の意味で階数が最小なものだけを分出するというものである。詳細はを参照。 Matematika logiko estas fako de matematiko, kiu studas el la vidpunkto bazita sur la konceptoj de pruvo kaj kaj parenca kun la temaro pri . Kvankam la nomo sugestas, ke matematika logiko estas la logiko de matematiko, vere ĝi estas iom pli proksime al matematiko de logiko. Ĝi enhavas tiujn partojn de logiko, kiuj povas esti modelitaj matematike. Pli fruaj nomoj de la afero estis "simbola logiko" (en kontrasto al "filozofia logiko"), kaj " de matematiko", kiu estas nun limigita kiel termino por iuj aspektoj de pruva teorio. La teoria de conjunts és la branca de les matemàtiques que estudia els conjunts. El primer estudi formal sobre el tema va ser realitzat pel matemàtic alemany Georg Cantor al segle xix. Στα μαθηματικά, θεωρία συνόλων ή συνολοθεωρία είναι η θεωρία που μελετάει τα σύνολα και είναι κλάδος της Μαθηματικής Λογικής. Σε αντίθεση με τις υπόλοιπες μαθηματικές θεωρίες που εξετάζουν δομές, δηλαδή σύνολα εφοδιασμένα με συναρτήσεις και σχέσεις (π.χ. ομάδες, τοπολογικοί χώροι) η θεωρία συνόλων μελετά τα ίδια τα σύνολα και τις μεταξύ τους σχέσεις. Άτυπα μπορούμε να πούμε ότι οποιοδήποτε συλλογή αντικείμενων του φυσικού κόσμου ή της νόησης είναι ένα σύνολο. Η θεωρία συνόλων χρησιμοποιεί σαν θεμελιώδη πρωταρχική σχέση την σχέση του "ανήκειν" (ή "είναι μέλος"), συμβολίζεται με є. Αν και ένα σύνολο μπορεί να περιέχει οποιοδήποτε τύπο αντικειμένου, η θεωρία συνόλων ασχολείται συνήθως με σύνολα που τα αντικείμενά τους σχετίζονται με τα μαθηματικά. Η σύγχρονη μελέτη της θεωρίας συνόλων ξεκίνησε από τον Γκέοργκ Κάντορ (Georg Cantor) και τον (Dedekind) τη δεκαετία του 1870. Αρχικά η έννοια του συνόλου οριζόταν μέσω των κατηγορικών ιδιοτήτων. Κατηγορική είναι μια ιδιότητα για την οποία μπορούμε να απαντήσουμε, τουλάχιστον θεωρητικά, με ένα ναί ή με ένα όχι για το αν ένα αντικείμενο έχει (ικανοποιεί) αυτή την ιδιότητα. Έτσι για κάθε κατηγορική ιδιότητα Φ δέχονταν αξιωματικά ότι υπήρχε ένα σύνολο (δηλαδή μια συλλογή αντικειμένων) του οποίου τα μέλη ήταν ακριβώς εκείνα τα αντικείμενα για τα οποία η Φ ήταν αληθής (Αυτή η παραδοχή ονομάζεται γενική αρχή συμπερίληψης). Αυτή η αρχική μορφή της θεωρίας συνόλων ονομάζεται άτυπη (ή διαισθητική) θεωρία συνόλων. Μετά την ανακάλυψη παραδόξων (αντινομιών) στην άτυπη θεωρία συνόλων, όπως το παράδοξο του Ράσελ (Russell), έγινε φανερό ότι η Γενική Αρχή Συμπερίληψης είναι λάθος και ότι επομένως η έννοια του συνόλου έπρεπε να αποδοθεί πιο αυστηρά μέσα από ένα σύνολο αξιωμάτων. Μια πληθώρα από συστήματα αξιωμάτων προτάθηκαν την αρχή του εικοστού αιώνα, το πιο γνωστό από τα οποία είναι αυτό των (Zermelo–Fraenkel), μαζί με το , γνωστό και ως ZFC. Αν δεχθούμε όλα τα αξιώματα των Ζερμέλο-Φράνκελ, αλλά όχι το Αξίωμα της Επιλογής τότε λέμε ότι έχουμε (ακολουθούμε) το σύστημα ZF. Η θεωρία συνόλων, ειδικά το σύστημα ZFC, είναι το πιο διαδεδομένο σύστημα για την θεμελίωση των μαθηματικών. Η γλώσσα της Θεωρίας Συνόλων χρησιμοποιείται στους ορισμούς σχεδόν όλων των μαθηματικών αντικειμένων, όπως οι συναρτήσεις, και έννοιες της Συνολοθεωρίας υπάρχουν σε όλα τα διδακτέα προγράμματα των τμημάτων των μαθηματικών στα πανεπιστήμια. Στοιχειώδη δεδομένα για τα σύνολα και για την ιδιότητα "μέλους συνόλου" μπορούν να εισαχθούν στο δημοτικό σχολείο, με την χρήση των διαγράμματων Βεν, για τη μελέτη συλλογών από κοινά φυσικά αντικείμενα. Βασικές πράξεις όπως η ένωση και η τομή συνόλων μπορούν να μελετηθούν σ'αυτό το πλαίσιο. Πιο προχωρημένες έννοιες όπως η πληθικότητα είναι βασικό κομμάτι του προπτυχιακού διδακτικού προγράμματος των Μαθηματικών Σχολών. Πέρα από τη χρήση της ως θεμέλιο των ίδιων των μαθηματικών, η Θεωρία Συνόλων είναι ένας κλάδος των μαθηματικών από μόνη της, με ενεργή ερευνητική κοινότητα. Η σύχρονη έρευνα στη συνολοθεωρία περιλαμβάνει μια ποικίλη συλλογή από θέματα, από τη δομή της ευθείας των πραγματικών αριθμών ως τη μελέτη της συνέπειας για μεγάλους πληθάριθμους. Математи́чна ло́гіка — розділ математики, що вивчає мислення за допомогою числень, застосовуючи математичні методи та спеціальний апарат символів.Предметом математичної логіки є математичні теорії в цілому, які вивчаються за допомогою логіко-математичних мов. При цьому в першу чергу цікавляться питаннями несуперечливості математичних теорій, їх розв'язності та повноти. Logika matematika adalah cabang logika dan matematika yang mengandung kajian logika matematis dan aplikasi kajian ini pada bidang-bidang lain di luar matematika. Logika matematika berhubungan erat dengan ilmu komputer dan logika filosofis. Tema utama dalam logika matematika antara lain adalah kekuatan ekspresif dari logika formal dan kekuatan deduktif dari sistem pembuktian formal. Logika matematika sering dibagi ke dalam cabang-cabang dari teori himpunan, teori model, , , serta . Bidang-bidang ini memiliki hasil dasar logika yang serupa. La teoría de conjuntos es una rama de la lógica matemática que estudia las propiedades y relaciones de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en sí mismas. Los conjuntos y sus operaciones más elementales son una herramienta básica que permite formular de cualquier otra teoría matemática.​ La teoría de los conjuntos es lo suficientemente flexible y general como para construir el resto de objetos y estructuras de interés en matemáticas: números, funciones, figuras geométricas, etc; gracias a las herramientas de la lógica, permite estudiar los fundamentos. Además, la propia teoría de conjuntos es objeto de estudio per se, no solo como herramienta auxiliar, en particular las propiedades y relaciones de los conjuntos infinitos. En esta disciplina es habitual que se presenten casos de propiedades indemostrables o contradictorias, como la hipótesis del continuo o la existencia de algún cardinal inaccesible. Por esta razón, sus razonamientos y técnicas se apoyan en gran medida en la lógica matemática.​ El desarrollo histórico de la teoría de conjuntos se atribuye a Georg Cantor, que comenzó a investigar cuestiones conjuntistas (puras) del infinito en la segunda mitad del siglo XIX, precedido por algunas ideas de Bernhard Bolzano e influido por Richard Dedekind. El descubrimiento de las paradojas de la teoría cantoriana de conjuntos, formalizada por Gottlob Frege, propició los trabajos de Bertrand Russell, Ernst Zermelo y Abraham Fraenkel.​ La teoría de conjuntos se emplea habitualmente como sistema fundacional de toda la matemática, en particular en la forma de la teoría de conjuntos de Zermelo-Fraenkel con el axioma de elección.​ Además de su papel fundacional, la teoría de conjuntos también proporciona el marco para desarrollar una teoría matemática del infinito, y tiene varias aplicaciones en informática, filosofía y semántica formal. Su atractivo fundacional, junto con sus paradojas, sus implicaciones para el concepto de infinito y sus múltiples aplicaciones han hecho de la teoría de conjuntos un área de gran interés para lógicos y filósofos de la matemática. La investigación contemporánea sobre la teoría de conjuntos abarca una amplia gama de temas, que van desde la estructura de la línea de números reales hasta el estudio de la consistencia del cardinal grande. La teoria degli insiemi è una teoria matematica posta ai fondamenti della matematica stessa, collocandosi nell'ambito della logica matematica. Prima della prima metà del XIX secolo la nozione di insieme veniva considerata solo come qualcosa di intuitivo e generico. La nozione è stata sviluppata nella seconda metà del XIX secolo dal matematico tedesco Georg Cantor, è stata al centro dei dibattiti sui fondamenti dal 1890 al 1930 ed ha ricevuto le prime sistemazioni assiomatiche per merito di Ernst Zermelo, Adolf Fraenkel, Paul Bernays, Kurt Gödel, John von Neumann e Thoralf Skolem, Gottlob Frege (le convenzioni linguistico-formali, come il quantificatore universale ed esistenziale) e Giuseppe Peano (notazione e sintassi). In questo periodo si sono assestati due sistemi di assiomi chiamati sistema assiomatico di Zermelo-Fraenkel e sistema assiomatico di Von Neumann-Bernays-Gödel. Successivamente si sono affrontate le tematiche riguardanti il problema della completezza dei sistemi di assiomi (v. teorema di incompletezza di Gödel), i rapporti con la teoria della calcolabilità (vedasi anche macchina di Turing) e la compatibilità dei sistemi di assiomi con l'assioma della scelta e con assiomi equivalenti o simili. Accanto a differenti consolidate teorie formali degli insiemi (vedi anche teoria assiomatica degli insiemi) esistono esposizioni più intuitive che costituiscono la cosiddetta teoria ingenua degli insiemi. Elenchiamo le entità principali della teoria degli insiemi. Teori Himpunan adalah teori mengenai kumpulan objek-objek abstrak. Teori himpunan biasanya dipelajari sebagai salah satu bentuk: * , dan * , yang mendasarkan teori himpunan pada istilah-istilah dan relasi yang tak terdefinisikan, serta aksioma-aksioma yang nantinya akan membangun keseluruhan teori himpunan. Studi modern tentang teori himpunan diprakarsai oleh Georg Cantor dan Richard Dedekind pada tahun 1870. Setelah penemuan di , seperti , banyak sistem aksioma diusulkan pada awal abad ke-20, di mana , dengan atau tanpa aksioma pilihan, adalah yang paling terkenal. Teori himpunan umumnya digunakan sebagai , khususnya dalam bentuk teori himpunan Zermelo-Fraenkel dengan aksioma pilihan. Di luar peran dasarnya, teori himpunan adalah cabang matematika dalam dirinya sendiri, dengan komunitas riset yang aktif. Penelitian kontemporer ke dalam teori himpunan mencakup beragam koleksi topik, mulai dari struktur garis bilangan real hingga studi tentang konsistensi . Logika matematyczna – dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki. Koncentruje się ona na analizowaniu zasad rozumowania oraz pojęć z nim związanych z wykorzystaniem sformalizowanych oraz uściślonych metod i narzędzi matematyki. W początkowym okresie rozwoju tego działu używano też nazwy logika symboliczna (w celu odróżnienia od logiki filozoficznej). Nazwa logika matematyczna została użyta po raz pierwszy przez włoskiego matematyka Giuseppe Peana. Matematická logika je vědní disciplína nacházející se na rozhraní mezi logikou a matematikou. Zabývá se zkoumáním, formalizováním a matematizováním zejména těch oblastí logiky, na jejichž základech je postavena matematika. V centru jejího zájmu jsou pojmy jako důkaz, teorie, axiomatizace, model, bezespornost, úplnost, rozhodnutelnost. De wiskundige logica is een deelgebied van de wiskunde. De wiskundige logica wordt onderverdeeld in de vier deelgebieden verzamelingenleer, bewijstheorie, modeltheorie en berekenbaarheid. Zo is in de wiskunde de groepentheorie verbonden met de verzamelingenleer, de getaltheorie met de bewijstheorie en is de berekenbaarheid een onderdeel van de computationele complexiteitstheorie. Onderzoek op het gebied van de wiskundige logica heeft bijgedragen aan de grondslagen van de wiskunde, die weer de logica in het algemeen ondersteunden. Maar er zijn ook onderdelen van de wiskundige logica die zich niet met grondslag van de wiskunde bezighouden.De wiskundige logica geeft de voorwaarden aan, waaraan een wiskundig bewijs moet voldoen. Vroeger werd de wiskundige logica ook wel symbolische logica genoemd en op één lijn getrokken met disciplines waar qua onderzoeksgebied enige overlap mee is, met name met de en de metawiskunde. De eerste discipline betreft vooral de algemene logica, maar wordt soms ook nog gebruikt voor de wiskundige logica. Metawiskunde heeft vooral betrekking op bepaalde aspecten van de bewijstheorie. In de vorige eeuw was het programma van Hilbert, genoemd naar David Hilbert en het onderzoek van de consistentie binnen de wiskunde door onder meer Kurt Gödel van belang. 수리논리학(數理論理學, 영어: mathematical logic) 또는 기호논리학은 논리학에서 사용하는 명제들을 수학적인 기호로 표시하는 학문이다. 고틀로프 프레게, 버트런드 러셀, 폴 조지프 코언 등이 개척한 분야로서 일상 언어와 같은 자연언어의 사용에서 올수있는 복잡성과 오류의 용이성을 제거하고 명제를 효과적으로 쉽게 다룰 수 있도록 하기 위해 도입한 현대 논리학 이론으로서, 기호를 많이 사용하여 '기호 논리학'(symbolic logic)이라고도 한다. 컴퓨터 과학 및 철학논리와 밀접하게 연관되어 있다. 이 분야는 논리학 및 형식논리의 타 분야로의 응용에 관한 수학적 연구를 포함하고 있으며, 통합적으로는 형식 체계의 표현력과 형식 증명 체계의 연역 가능성에 관한 연구를 포함한다. 수리논리학은 종종 집합론, 모형 이론, 재귀 이론, 증명 이론, 구성적 수학 등의 하위 분야로 나뉜다. 이 분야들은 공통적으로 1차 논리와 정의가능성 등의 기본적인 논리학적 결과들을 바탕으로 하고 있다. 수리논리학은 처음 출현한 이후 줄곧 수학기초론의 연구와 영향을 주고 받았다. 이 연구는 19세기 말 기하학, 대수학, 해석학의 공리적 구조의 개발과 함께 시작되었다. 20세기 초에는 수학기초론의 무모순성을 증명하려는 다비트 힐베르트의 연구에 의해 다듬어졌다. 쿠르트 괴델과 게르하르트 겐첸 등은 그 연구에 일부 해결 방법을 제시하였고 무모순성 증명과 관련한 문제들을 명확히 하였다. 비록 몇몇 정리들이 집합 이론의 공리 체계에서 증명 불가능하지만, 집합 이론에서의 연구는 거의 모든 일반적인 수학은 집합의 형태로 형식화할 수 있다는 것을 보여주었다. 수학기초론에서 최근의 연구는 종종 모든 수학을 전개할 수 있는 이론을 찾기보다는 수학의 어느 부분이 특정 형식 체계에서 형식화할 수 있는지 찾는 데 중점을 두고 있다.
dbp:collapsible
yes
dbp:lcheading
Set theory
dbp:onlinebooks
yes
gold:hypernym
dbr:Branch
prov:wasDerivedFrom
wikipedia-en:Set_theory?oldid=1119807661&ns=0
dbo:wikiPageLength
44726
foaf:isPrimaryTopicOf
wikipedia-en:Set_theory
Subject Item
dbr:Set_theory_(music)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Witold_Hurewicz
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Yiannis_N._Moschovakis
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Kleene's_O
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Petr_Hájek
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Lwów_School_of_Mathematics
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:László_Rátz
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Martin's_axiom
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Mathematics_Subject_Classification
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Modus_tollens
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Rowbottom_cardinal
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Singular_cardinals_hypothesis
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Schröder–Bernstein_theorem_for_measurable_spaces
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Schröder–Bernstein_theorems_for_operator_algebras
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Scripta_Mathematica
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Second-order_arithmetic
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Semantics_(computer_science)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
n26:_An_Introduction_to_Independence_Proofs
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Set_theory_(disambiguation)
dbo:wikiPageWikiLink
dbr:Set_theory
dbo:wikiPageDisambiguates
dbr:Set_theory
Subject Item
dbr:Set_of_uniqueness
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Undecidable_problem
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Uniformization_(set_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Union_(set_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Venn_diagram
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Vera_Fischer_(mathematician)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Von_Neumann_universe
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Warsaw_School_(mathematics)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:William_S._Zwicker
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Zygmunt_Zalcwasser
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Symmetric_difference
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Unifying_theories_in_mathematics
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Universal_set
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Saturated_set
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Tag_SNP
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Euclidean_geometry
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Euler_diagram
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Expected_utility_hypothesis
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Exponential_object
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Exponential_polynomial
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Extender_(set_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Extension_(semantics)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Extension_by_definitions
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Extensionality
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Face_(geometry)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Factor_base
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Gunnar_Kangro
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Image_(mathematics)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Imperative_programming
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Implementation_of_mathematics_in_set_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Formal
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_theorems
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_types_of_functions
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_types_of_numbers
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_types_of_sets
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_unsolved_problems_in_mathematics
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_unsolved_problems_in_philosophy
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_victims_of_Nazism
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Lwów–Warsaw_school
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Temporal_finitism
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Randolph_diagram
rdfs:seeAlso
dbr:Set_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Property_B
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Pointclass
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Rule_of_product
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Whitehead_problem
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Tricotyledon_theory_of_system_design
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Event_(philosophy)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Everything_and_More_(book)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Evryali
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Existential_graph
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Finite-valued_logic
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Finitist_set_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Fixed-point_theorems
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Richard's_paradox
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Naive_Set_Theory_(book)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Named_set_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Principle_of_explosion
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Poker_probability
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Process_tracing
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Transformation_geometry
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Pseudocode
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Moti_Gitik
dbo:wikiPageWikiLink
dbr:Set_theory
dbp:fields
dbr:Set_theory
dbo:academicDiscipline
dbr:Set_theory
Subject Item
dbr:Preordered_class
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Ultraproduct
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Urelement
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Stochastic_process
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Strictly_determined_game
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Transcendental_number_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Semigroup_with_involution
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Set-builder_notation
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Set-theoretic_definition_of_natural_numbers
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Set-theoretic_topology
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Sign_relation
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Simple_theorems_in_the_algebra_of_sets
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Transitive_model
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Ω-consistent_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Nomos_Alpha
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Non-standard_model
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:S_(set_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Philosophy_of_logic
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Permutation_model
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Point_process_notation
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Square_principle
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Revision_theory
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:List_of_Russian_people
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Reflecting_cardinal
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Reinhardt_cardinal
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Unique_identifier
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Outline_of_academic_disciplines
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Outline_of_algebraic_structures
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Outline_of_computer_science
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Outline_of_discrete_mathematics
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Outline_of_formal_science
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Outline_of_logic
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Outline_of_mathematics
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Outline_of_probability
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Paradoxes_of_the_Infinite
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Paradoxical_set
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Professor_Tarantoga
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Role-based_access_control
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Strongly_compact_cardinal
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Unity_of_the_proposition
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Subset
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Éléments_de_mathématique
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Subobject
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Sylvester_Medal
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Stationary_set
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Supertransitive_class
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Θ_(set_theory)
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Science_and_technology_in_Russia
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Skolem's_paradox
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Uncountable_set
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:The_Higher_Infinite
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Normal_sequence
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Math_symbol_anglebracket
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Axiom_of_set_theory
dbo:wikiPageWikiLink
dbr:Set_theory
dbo:wikiPageRedirects
dbr:Set_theory
Subject Item
dbr:Axioms_of_set_theory
dbo:wikiPageWikiLink
dbr:Set_theory
dbo:wikiPageRedirects
dbr:Set_theory
Subject Item
dbr:Takeuti–Feferman–Buchholz_ordinal
dbo:wikiPageWikiLink
dbr:Set_theory
Subject Item
dbr:Transfinite_set_theory
dbo:wikiPageWikiLink
dbr:Set_theory
dbo:wikiPageRedirects
dbr:Set_theory
Subject Item
dbr:Ordinary_set_theory
dbo:wikiPageWikiLink
dbr:Set_theory
dbo:wikiPageRedirects
dbr:Set_theory
Subject Item
dbr:Set_theorist
dbo:wikiPageWikiLink
dbr:Set_theory
dbo:wikiPageRedirects
dbr:Set_theory
Subject Item
dbr:Set_theory_(mathematics)
dbo:wikiPageWikiLink
dbr:Set_theory
dbo:wikiPageRedirects
dbr:Set_theory
Subject Item
dbr:Classical_set_theory
dbo:wikiPageWikiLink
dbr:Set_theory
dbo:wikiPageRedirects
dbr:Set_theory
Subject Item
dbr:Formal_set_theory
dbo:wikiPageWikiLink
dbr:Set_theory
dbo:wikiPageRedirects
dbr:Set_theory
Subject Item
dbr:Mathematical_set_theory
dbo:wikiPageWikiLink
dbr:Set_theory
dbo:wikiPageRedirects
dbr:Set_theory
Subject Item
dbr:Abstract_set_theory
dbo:wikiPageWikiLink
dbr:Set_theory
dbo:wikiPageRedirects
dbr:Set_theory
Subject Item
dbr:Theory_of_sets
dbo:wikiPageWikiLink
dbr:Set_theory
dbo:wikiPageRedirects
dbr:Set_theory
Subject Item
wikipedia-en:Set_theory
foaf:primaryTopic
dbr:Set_theory