Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/class/yago/FormalTheoriesOfArithmetic> . }
Showing items 1 to 10 of
10
with 100 items per page.
- Non-standard_model_of_arithmetic type FormalTheoriesOfArithmetic.
- Peano_axioms type FormalTheoriesOfArithmetic.
- Presburger_arithmetic type FormalTheoriesOfArithmetic.
- Primitive_recursive_arithmetic type FormalTheoriesOfArithmetic.
- Robinson_arithmetic type FormalTheoriesOfArithmetic.
- Second-order_arithmetic type FormalTheoriesOfArithmetic.
- Set-theoretic_definition_of_natural_numbers type FormalTheoriesOfArithmetic.
- True_arithmetic type FormalTheoriesOfArithmetic.
- Typographical_Number_Theory type FormalTheoriesOfArithmetic.
- Undecidable_problem type FormalTheoriesOfArithmetic.