Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Formal_theories_of_arithmetic> . }
Showing items 1 to 13 of
13
with 100 items per page.
- Non-standard_model_of_arithmetic subject Category:Formal_theories_of_arithmetic.
- Peano_axioms subject Category:Formal_theories_of_arithmetic.
- Presburger_arithmetic subject Category:Formal_theories_of_arithmetic.
- Primitive_recursive_arithmetic subject Category:Formal_theories_of_arithmetic.
- Robinson_arithmetic subject Category:Formal_theories_of_arithmetic.
- Second-order_arithmetic subject Category:Formal_theories_of_arithmetic.
- Set-theoretic_definition_of_natural_numbers subject Category:Formal_theories_of_arithmetic.
- Skolem_arithmetic subject Category:Formal_theories_of_arithmetic.
- True_arithmetic subject Category:Formal_theories_of_arithmetic.
- Typographical_Number_Theory subject Category:Formal_theories_of_arithmetic.
- Undecidable_problem subject Category:Formal_theories_of_arithmetic.
- Büchi_arithmetic subject Category:Formal_theories_of_arithmetic.
- Category:Mathematical_axioms related Category:Formal_theories_of_arithmetic.