c/Formal theories of arithmetic

Information
lexicalization	eng: Formal theories of arithmetic
subclass of	(noun) a well-substantiated explanation of some aspect of the natural world; an organized system of accepted knowledge that applies in a variety of circumstances to explain a specific set of phenomena; "theories can incorporate facts and laws and tested hypotheses"; "true in fact and theory" theory
has instance	e/Nonstandard model of arithmetic
has instance	e/Primitive recursive arithmetic
has instance	e/Second-order arithmetic
has instance	e/Set-theoretic definition of natural numbers
has instance	e/True arithmetic
has instance	e/Typographical Number Theory
has instance	e/Undecidable problem

Meaning
Ukrainian
lexicalization	ukr: Формальні теорії арифметики