(arithmetic, computing) Any one of the four basic operations in arithmetic: addition, subtraction, multiplication or division; any one of said operations as implemented on a computer.

Synonym of felicific calculus

(logic) A set of axioms of first-order logic for the natural numbers specifying the operations of zero, successor, and addition, including a first-order schema of induction, without multiplication.

(logic) A set of axioms of first-order logic for the natural numbers specifying the operations of zero, successor, addition and multiplication, including a first-order schema of induction.

(logic) arithmetical hierarchy

(logic) A set of natural numbers that can be defined by a formula of first-order Peano arithmetic.

(logic) A hierarchy which classifies the complexity of first-order formulae (and sets defined by them) based on the number of alternations between series of unbounded existential quantifiers and universal quantifiers.

plural of arithmetical set

(arithmetic) Any of the four basic operators in arithmetic, namely addition, subtraction, multiplication and division.

plural of arithmetic function