Zermelo–Fraenkel set theory
type: Thing
label: نظرية المجموعات حسب تسيرميلو-فرانكل @ar
label: Теорія множин Цермело — Френкеля @uk
label: 체르멜로-프렝켈 집합론 @ko
label: ツェルメロ＝フレンケル集合論 @ja
label: Zermelova–Fraenkelova teorie množin @cs
label: Zermelo-Fraenkel-Mengenlehre @de
label: ZFC
label: Théorie des ensembles de Zermelo-Fraenkel @fr
label: Zermelo-Fraenkel-verzamelingenleer @nl
label: 策梅洛-弗兰克尔集合论 @zh
label: Axiomas de Zermelo-Fraenkel @es
label: Zermelo–Fraenkels mängdteori @sv
label: Aksjomaty Zermela-Fraenkla @pl
label: Система Цермело — Френкеля @ru
label: Teoria degli insiemi di Zermelo-Fraenkel @it
subject: Category:Foundations of mathematics
subject: Category:Systems of set theory
subject: Category:Z notation
t: 55.0
id: p/z130100
id: AAJB9l-HAZs
id: Zermelo-FraenkelSetTheory
description: 集合論における公理系の一つ @ja
description: sistema axiomático essencial para a construção da teoria dos conjuntos, desenvolvido por Zermelo e Fraenkel @pt
description: axiomatische Mengenlehre @de
description: Son un sistema axiomático concebido para formular la teoría de conjuntos. @es
description: standardna oblika aksiomske teorije množic @sl
description: standardowy zestaw aksjomatów teorii mnogości, często oznaczany ZF @pl
description: نمایشی اسلوبمند از نظریه مجموعه ها @fa
description: axiomatisation de la théorie des ensembles @fr
description: standard form of axiomatic set theory
description: sistem axiomatic referitor la teoria mulțimilor @ro
description: teoria assiomatica standard per gli insiemi @it
wiki page external link: https://projecteuclid.org/euclid.lnl/1235417011
wiki page external link: https://projecteuclid.org/euclid.lnl/1235417007
wiki page external link: https://books.google.com/books%3Fid=tTEaMFvzhDAC&q=abbreviated+as+zfc+where+c+stands+for+the+axiom+of+choice&pg=PA4
wiki page external link: https://archive.org/details/axiomaticsettheo0000bern
wiki page external link: http://us.metamath.org/mpegif/mmset.html%23staxioms
wiki page external link: http://us.metamath.org/mpegif/axsep.html
wiki page external link: https://archive.org/details/introductiontoax00take
wiki page external link: https://www.quantamagazine.org/to-settle-infinity-question-a-new-law-of-mathematics-20131126
wiki page external link: https://archive.org/details/handbookofmathem0090unse
wiki page external link: http://plato.stanford.edu/entries/set-theory/%23AxiZFC
wiki page external link: http://plato.stanford.edu/entries/set-theory/ZF.html
wiki page external link: https://books.google.com/books%3Fid=NZVb54INnywC&pg=PA62
wiki page external link: https://archive.org/details/settheoryintrodu0000kune
wiki page external link: https://archive.org/details/settheoryitslogi0000quin_j8m3
wiki page external link: https://archive.org/details/theoryofsetstran00abia
wiki page external link: http://gdz.sub.uni-goettingen.de/index.php%3Fid=11&PPN=PPN235181684_0065&DMDID=DMDLOG_0018&L=1
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Continuum_hypothesis
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Infinite_set
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Inner_model
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Von_Neumann_universe
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Range_of_a_function
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Axiom_of_determinacy
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Equality_(mathematics)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Inaccessible_cardinal
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/New_Foundations
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Set_(mathematics)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Robinson_arithmetic
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Quanta_Magazine
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Union_(set_theory)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Moore_space_(topology)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Image_(mathematics)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Multiverse_(set_theory)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Foundations_of_mathematics
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Conservative_extension
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Atomic_formula
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Ernst_Zermelo
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/First_order_logic
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Congruence_modulo_n
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Category_theory
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Forcing_(mathematics)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Kurepa_tree
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Category:Foundations_of_mathematics
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Natural_numbers
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Set_membership
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Tarski–Grothendieck_set_theory