Quadruple primes, in the additive,
or higher roots in primes, this is
with having the extra terms for the
extra terms, or not, as various systems
of roots illustrate.
Many theorems in complete arithmetic are
different in systems under roots about
the introduction of un-decideability,
of the otherwise factual theorems about
a fixed point, here "at infinity",
some effective infinity (in terms for
example of being a limit point and fixed
point in the arithmetic, under roots,
and the differential).
Some modern systems with conjectures in number
theory like the modular are themselves
introductions of expectations or lack thereof,
much like the usual centralizing and dispersive,
in a modern probability theory.
That they usually establish of course one-way limits
or bounds in direct algebras for representation is
of course, convenient, and not contrived, but systems
of decide-ability results here for example "quadruple primes"
at "the point at infinity", must remain constructive.
(And must be repletely consistent, i.e., with all
constructive criticism included.)