About: Transfinite induction

Property	Value
dbo:description	concetto matematico (it) concepte matemàtic (ca) deux principes reliés mais distincts (mathématiques) (fr) method of proving that a certain property applies for all elements in a well-founded set (en) Verallgemeinerung der vollständigen Induktion auf die Klasse aller Ordinalzahlen als Index (de) 정초 집합의 모든 원소에 대하여 주어진 성질이 성립함을 증명하는 방법 (ko) indukcja matematyczna na zbiorach innych niż liczby naturalne (pl)
dbo:thumbnail	wiki-commons:Special:FilePath/Omega-exp-omega-labeled.svg?width=300
dbo:wikiPageExternalLink	https://books.google.com/books%3Fid=sxr4LrgJGeAC&q=%22Transfinite+induction%22
dbo:wikiPageWikiLink	dbr:Vitali_set dbr:Binary_relation dbr:Dover_Publications dbr:Vector_space dbr:Real_number dbr:Well-ordering_theorem dbr:Zermelo–Fraenkel_set_theory dbr:Zorn's_lemma dbr:Axiom_of_dependent_choice dbr:Cardinal_number dbr:Class_(set_theory) dbr:Limit_ordinal dbr:Axiom_of_choice dbr:Mathematical_induction dbr:Property_(philosophy) dbr:Well-founded_relation dbr:Linear_span dbr:Rational_number dbr:Epsilon-induction dbr:Ordinal_number dbr:Transfinite_number dbr:Well-order dbr:Successor_ordinal dbr:Countable_set dbc:Recursion dbc:Mathematical_induction dbc:Ordinal_numbers dbr:Cardinality_of_the_continuum dbr:Proper_class dbr:Basis_(vector_space) dbr:File:Omega-exp-omega-labeled.svg dbr:Borel_sets dbr:Transfinite_sequence
dbp:author	Weisstein, Eric W. (en) Emerson, Jonathan (en) Lezama, Mark (en)
dbp:author2Link	Mark Lezama (en)
dbp:author3Link	Eric W. Weisstein (en)
dbp:authorLink	Jonathan Emerson (en)
dbp:id	TransfiniteInduction (en)
dbp:nameListStyle	amp (en)
dbp:title	Transfinite Induction (en)
dbp:wikiPageUsesTemplate	dbt:Mathematical_logic dbt:Set_theory dbt:Citation dbt:Hair_space dbt:MathWorld dbt:Reflist dbt:Short_description
dct:subject	dbc:Recursion dbc:Mathematical_induction dbc:Ordinal_numbers
gold:hypernym	dbr:Extension
rdfs:label	Transfinite induction (en) Transfinitní indukce (cs) Transfinia indukto (eo) Transfinite Induktion (de) Inducción transfinita (es) Récurrence transfinie (fr) Induzione transfinita (it) 초한 귀납법 (ko) Indução transfinita (pt) Indukcja pozaskończona (pl) Transfiniete inductie (nl) Трансфинитная индукция (ru) Трансфінітна індукція (uk) 超限归纳法 (zh)
owl:sameAs	freebase:Transfinite induction yago-res:Transfinite induction wikidata:Transfinite induction dbpedia-de:Transfinite induction dbpedia-es:Transfinite induction dbpedia-it:Transfinite induction dbpedia-nl:Transfinite induction dbpedia-pl:Transfinite induction dbpedia-fr:Transfinite induction dbpedia-he:Transfinite induction dbpedia-hu:Transfinite induction dbpedia-pt:Transfinite induction dbpedia-ro:Transfinite induction dbpedia-ru:Transfinite induction dbpedia-zh:Transfinite induction dbpedia-vi:Transfinite induction dbpedia-ko:Transfinite induction dbpedia-cs:Transfinite induction dbpedia-eo:Transfinite induction dbpedia-fa:Transfinite induction dbpedia-fi:Transfinite induction dbpedia-kk:Transfinite induction dbpedia-uk:Transfinite induction dbpedia-global:Transfinite induction
prov:wasDerivedFrom	wikipedia-en:Transfinite_induction?oldid=1253105247&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Omega-exp-omega-labeled.svg
foaf:isPrimaryTopicOf	wikipedia-en:Transfinite_induction
is dbo:wikiPageDisambiguates of	dbr:Induction dbr:Transfinite
is dbo:wikiPageRedirects of	dbr:Transfinite_recursion dbr:Well-ordered_induction dbr:Transfinite_Induction dbr:Transfinite_iteration
is dbo:wikiPageWikiLink of	dbr:Transfinite_recursion dbr:Peano_axioms dbr:Von_Neumann_universe dbr:Surreal_number dbr:Constructive_set_theory dbr:List_of_first-order_theories dbr:Axiom_of_determinacy dbr:Bar_recursion dbr:Epsilon_number dbr:Model_theory dbr:Borel_hierarchy dbr:Mathematical_logic dbr:Determinacy dbr:Beth_number dbr:John_von_Neumann dbr:Well-ordering_theorem dbr:Zorn's_lemma dbr:Proof_theory dbr:Henstock–Kurzweil_integral dbr:Aleph_number dbr:Limit_ordinal dbr:Constructible_universe dbr:Hilbert's_program dbr:M._Riesz_extension_theorem dbr:Large_cardinal dbr:Bar_induction dbr:Mathematical_induction dbr:Well-founded_relation dbr:Hahn–Banach_theorem dbr:Knaster–Tarski_theorem dbr:New_Foundations dbr:Axiom_of_limitation_of_size dbr:Monotone_class_theorem dbr:Epsilon-induction dbr:On_Numbers_and_Games dbr:Original_proof_of_Gödel's_completeness_theorem dbr:Krull's_theorem dbr:List_of_set_theory_topics dbr:Composition_series dbr:Gentzen's_consistency_proof dbr:Ordinal_analysis dbr:Ordinal_number dbr:Morse–Kelley_set_theory dbr:Height_(abelian_group) dbr:Induction dbr:Delone_set dbr:Well-order dbr:Center_(group_theory) dbr:Successor_ordinal dbr:De_Bruijn–Erdős_theorem_(graph_theory) dbr:Large_countable_ordinal dbr:List_of_mathematical_logic_topics dbr:Borel_set dbr:Index_of_philosophy_articles_(R–Z) dbr:Loop_variant dbr:Systems_of_Logic_Based_on_Ordinals dbr:Transfinite dbr:Truth_predicate dbr:Enumeration dbr:Hilbert's_second_problem dbr:Glossary_of_set_theory dbr:Even_and_odd_ordinals dbr:Well-ordered_induction dbr:Transfinite_Induction dbr:Transfinite_iteration
is foaf:primaryTopic of	wikipedia-en:Transfinite_induction