Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Epsilon-induction
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Kind of transfinite induction
Property
Value
dbo:
description
kind of transfinite induction
(en)
sebuah ragam induksi transfinit
(in)
dbo:
wikiPageWikiLink
dbr
:Axiom_schema
dbr
:Non-well-founded_set_theory
dbr
:Class_(set_theory)
dbr
:Proper_class
dbr
:Peano_axioms
dbr
:Signature_(logic)
dbr
:Markov's_principle
dbr
:Set_(mathematics)
dbr
:Disjunctive_syllogism
dbr
:Ordinal_number
dbr
:Set-theoretic_definition_of_natural_numbers
dbr
:Von_Neumann_ordinal
dbr
:Zermelo_set_theory
dbr
:Zermelo–Fraenkel_set_theory
dbr
:Transitive_set
dbr
:Transfinite_induction
dbc
:Mathematical_induction
dbr
:Mathematical_induction
dbr
:Non-standard_model_of_arithmetic
dbr
:John_von_Neumann
dbr
:Axiom_of_powerset
dbr
:Axiom_of_replacement
dbr
:Axiom_of_separation
dbc
:Wellfoundedness
dbr
:Well-founded_relation
dbr
:Law_of_excluded_middle
dbr
:Antecedent
dbr
:Axiom_of_regularity
dbr
:Empty_set
dbr
:Axiom_of_union
dbr
:Axiom_of_infinity
dbr
:Axiom_of_dependent_choice
dbr
:Thoralf_Skolem
dbr
:Constructive_set_theory
dbr
:Axiom_schema_of_predicative_separation
dbr
:Total_relation
dbr
:Axiomatic_set_theory
dbr
:Least_number_principle
dbr
:For_all
dbr
:Trichotomous
dbr
:Vacuously_true
dbp:
wikiPageUsesTemplate
dbt
:Mathematical_logic
dbt
:Short_description
dct:
subject
dbc
:Mathematical_induction
dbc
:Wellfoundedness
rdfs:
label
Epsilon-induction
(en)
Epsilon-Induktion
(de)
Induksi-epsilon
(in)
Epsilon归纳法
(zh)
owl:
sameAs
freebase
:Epsilon-induction
wikidata
:Epsilon-induction
dbpedia-de
:Epsilon-induction
dbpedia-zh
:Epsilon-induction
dbpedia-id
:Epsilon-induction
dbpedia-ms
:Epsilon-induction
dbpedia-global
:Epsilon-induction
prov:
wasDerivedFrom
wikipedia-en
:Epsilon-induction?oldid=1282519867&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Epsilon-induction
is
dbo:
wikiPageDisambiguates
of
dbr
:Induction
is
dbo:
wikiPageRedirects
of
dbr
:Axiom_of_epsilon-induction
dbr
:Axiom_of_set_induction
dbr
:Axiom_schema_of_epsilon-induction
dbr
:Axiom_schema_of_set_induction
dbr
:Epsilon_induction
dbr
:E-induction
dbr
:Ε-induction
dbr
:∈-induction
is
dbo:
wikiPageWikiLink
of
dbr
:Induction
dbr
:Transfinite_induction
dbr
:Kripke–Platek_set_theory
dbr
:Axiom_of_epsilon-induction
dbr
:Axiom_of_set_induction
dbr
:Axiom_schema_of_epsilon-induction
dbr
:Axiom_schema_of_set_induction
dbr
:Epsilon_induction
dbr
:Axiom_of_regularity
dbr
:Axiom_of_infinity
dbr
:Constructive_set_theory
dbr
:E-induction
dbr
:Ε-induction
dbr
:∈-induction
is
foaf:
primaryTopic
of
wikipedia-en
:Epsilon-induction
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International