WikicatFormalTheoriesOfArithmetic

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

Property	Value
rdfs:subClassOf	yago:Theory105989479
owl:equivalentClass	yago-res:wikicat_Formal_theories_of_arithmetic
is rdf:type of	dbr:Peano_axioms dbr:Presburger_arithmetic dbr:Primitive_recursive_arithmetic dbr:Typographical_Number_Theory dbr:Robinson_arithmetic dbr:Non-standard_model_of_arithmetic dbr:True_arithmetic dbr:Büchi_arithmetic dbr:Second-order_arithmetic dbr:Skolem_arithmetic dbr:Undecidable_problem dbr:Set-theoretic_definition_of_natural_numbers

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.

Alternative Proxies: