Ramsey number
Paris-Harrington theorem
vanishing ideal
Galileo's paradox
least common multiple
terminate
Bézout's theorem
material implication
existential operator
existential quantifier
simple algebra
Pisot-Vijayaraghavan number
Gleason's theorem
Pell number
conjugate
dual number
Dickson's conjecture
Richardson's theorem
rational function
computable
rational
intermediate value theorem
axiom of infinity
Möbius function
Bézout's identity
highly composite number
characteristic
quantifiability
Walsh function
van der Waerden's theorem
induction
fuzzy logic
eigenvalue of a square matrix
coefficient
dessin d'enfant
absolute term
eigenvalue of a matrix
creative
presemifield
arithmetic geometry
semicreative
equivalence
boxcar function
characteristic root of a square matrix
eigenvalue
productive
terminating
positive measure
probabilistically checkable proof
Gromov-Witten invariant
algebraic variety
transcendental number
algebraic integer
theorem
algebraic
arithmetic function
Størmer's theorem
catalecticant
recursive function
Slutsky's theorem
identically zero
continued fraction
Cantor-Bendixson theorem
finitism
axiomatic system
Gödel's incompleteness theorem
quantize
real
discrete
modular arithmetic
evanescent
Schinzel's hypothesis H
discrete math
significant digit
singularly
quartic function
ideal number
Stark-Heegner theorem
significant figure
Iverson bracket
anticonfined
Dirichlet series
clarithmetic
finite geometry
Gaussian prime
logical proof
Brouwer fixed-point theorem
algebraizable
measure
almost all
nontheorem
Gröbner basis
zeroless
linearly dependent
recurring
ternary logic
polynomial
few
ceiling function