The branch of mathematics concerned with the properties and relationships of integers and related structures, including divisibility, prime numbers, congruences, arithmetic functions, and Diophantine equations.

Principle

Study integers via modular structure, factorization, and arithmetic functions; identify patterns and constraints (e.g., divisibility, residue classes) that govern solvability and distribution of number-theoretic objects.

Demonstration

Analyzing primes via modular arithmetic: use quadratic residues and the Legendre symbol to determine solvability of x^2 ≡ a (mod p), or apply the Euclidean algorithm to compute greatest common divisors in Diophantine problem solving.

Misapplication

Overgeneralizing results valid for primes or integers in a restricted class to all integers (for example, assuming a multiplicative identity for an arithmetic function without verifying multiplicativity) leads to incorrect inferences.

Consequence

When properly applied, number theory yields precise criteria for solvability of equations, distribution results for primes and residues, and underpins cryptographic constructions; some problems remain undecidable or open.

Reversal

The reversal treats integers as generic elements of a ring without emphasizing discrete arithmetic properties, or it replaces exact integer reasoning with probabilistic or analytic approximations that may miss integral constraints.

Boundary

Focuses on integers and closely related algebraic structures (rings of integers in number fields); excludes continuous analysis unless adapted (analytic number theory bridges this), and many deep questions (e.g., Riemann hypothesis equivalents) remain unresolved.

Semantic Tension

Tension between elementary (combinatorial/divisibility) approaches and analytic methods: elementary proofs emphasize explicit constructions while analytic number theory uses complex analysis and asymptotics; each frames results differently.

Synthesis

Number theory combines modular reasoning, factorization techniques, and analytic tools to study integer behavior; it delivers exact criteria and distribution laws where available, but fundamental uncertainties persist in many classical conjectures.