About: Induction, bounding and least number principles

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:thumbnail	wiki-commons:Special:FilePath/Induction,_bounding,_least_number_principles.png?width=300
dbo:wikiPageWikiLink	dbr:Axiom_schema dbc:Predicate_logic dbr:First-order_logic dbc:Formal_theories_of_arithmetic dbr:Well-formed_formula dbr:Arithmetical_hierarchy dbr:First-order_arithmetic dbr:Mathematical_induction dbr:Non-standard_model_of_arithmetic dbr:Cofinal_(mathematics) dbc:Mathematical_axioms dbr:Theodore_Slaman dbr:Reverse_mathematics dbr:Second-order_arithmetic dbr:Natural_number dbr:Witness_(mathematics) dbr:File:Induction,_bounding,_least_number_principles.png
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Mathematical_logic dbt:Refimprove
dct:subject	dbc:Predicate_logic dbc:Formal_theories_of_arithmetic dbc:Mathematical_axioms
rdfs:label	Induction, bounding and least number principles (en)
owl:sameAs	wikidata:Induction, bounding and least number principles dbpedia-global:Induction, bounding and least number principles
prov:wasDerivedFrom	wikipedia-en:Induction,_bounding_and_least_number_principles?oldid=1292653837&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Induction,_bounding,_least_number_principles.png
foaf:isPrimaryTopicOf	wikipedia-en:Induction,_bounding_and_least_number_principles
is dbo:wikiPageRedirects of	dbr:Bounding_principle dbr:Least_number_principle dbr:Induction_principle_(logic)
is dbo:wikiPageWikiLink of	dbr:Bounding_principle dbr:Reverse_mathematics dbr:Constructive_set_theory dbr:Least_number_principle dbr:Induction_principle_(logic)
is foaf:primaryTopic of	wikipedia-en:Induction,_bounding_and_least_number_principles

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International