The arithmetization of analysis clarified which results could be derived purely from arithmetic, reshaping the foundations of mathematics.

The proof compared several arithmetizations to show that the encoding was robust across different representations.

An arithmetic sequence is a sequence of numbers in which the difference between consecutive terms is constant.

Binary arithmetics is an important concept in computer science.

Arithmetic sequences are commonly used in mathematics.

When solving the problem, she mistakenly used an arithmetic operator that changed the sign of the result.

Graduate students in logic often study arithmetical sets to understand the limits of computability.

The arithmetical set of numbers defined by a first-order Peano arithmetic formula is not always decidable.

When deciding policy, she relied on moral arithmetic to weigh the benefits and harms of each option.

Researchers compared several arithmetic functions to determine which best modeled the data.