A HETERODOX THEORY OF INFINITY
A Discrete, Graded Number System
Abstract
This paper presents a heterodox theory of infinity,
developed as an alternative to the Cantorian–Zermelo–Fraenkel set-theoretic
foundation of mathematics. The theory is built on three principles: (1) number
is fundamentally discrete, and the geometric continuum is an illusion; (2) the
infinite is not a single unified domain but a hierarchy of discrete classes,
each isolated from the others; and (3) infinite numbers are defined into
existence by explicit axioms, not inferred from the set of finite integers. The
theory provides a coherent, self-contained number system that includes finite
numbers, infinite numbers, and infinitesimals, with well-defined arithmetic
operations and a clear philosophical foundation. A flexible axiom of infinity
allows for multiple choices of the infinite integer 
, including a prime option
and a divisible infinite option. A base parameterisation yields a family of
number systems, showing that the "size" of infinity is relative to
the chosen base. Irrational numbers are treated as potential infinities, not
actual objects. The theory is offered as a constructive alternative to the
continuum-centric tradition that has dominated mathematics since the 17th
century.
1. Introduction
The concept of infinity has haunted philosophy and mathematics since antiquity. Zeno's paradoxes, Aristotle's distinction between potential and actual infinity, and the Neo-Platonic conception of the One as an unknowable totality all attest to the profound difficulties that infinity presents to the human intellect.
In the late nineteenth century, Georg Cantor sought to tame
infinity by bringing it within the bounds of rigorous mathematics. His set
theory introduced a hierarchy of infinite cardinalities, with 
as the first infinite
cardinal, and established the principle that infinite sets could be compared by
one-to-one correspondence. This was a revolutionary departure from the
Aristotelian tradition, which had denied the existence of actual infinities.
Cantor's work was embraced by Frege, Dedekind, and Russell, who saw in set theory the foundation for a comprehensive logicist programme—the reduction of all mathematics to logic. This culminated in Russell and Whitehead's Principia Mathematica, which sought to derive arithmetic from logical principles. However, the programme encountered fatal difficulties. Russell's paradox revealed that the unrestricted comprehension axiom led to contradiction. The subsequent development of Zermelo–Fraenkel set theory (ZFC) with the axiom of choice resolved some paradoxes but introduced others: the well-ordering theorem, the Banach–Tarski paradox, and the independence of the continuum hypothesis.
Despite its successes, set theory has never fully escaped its foundational crises. The principle of one-to-one correspondence leads to counterintuitive consequences: the set of even integers is declared to have the same cardinality as the set of all integers; the rational numbers are deemed as numerous as the natural numbers; and the real numbers are said to constitute a higher, uncountable infinity. These results, while formally consistent within ZFC, conflict with intuitions about size, part-whole relations, and the nature of the infinite.
This paper offers an alternative. It begins from the premise that number is fundamentally discrete, and that the geometric continuum is an illusion—a useful approximation but not a foundation for arithmetic. It posits that the infinite is not a single, unified domain but a hierarchy of discrete classes, each isolated from the others. It rejects the principle of one-to-one correspondence as a criterion of size for infinite collections, and it treats irrational numbers as potential infinities—non-terminating processes, not completed objects.
The theory is constructive in spirit: infinite numbers are defined into existence by explicit axioms, not inferred from the set of finite integers. It is heterodox in that it rejects the continuum, the Dedekind completeness of the reals, and the Cantorian hierarchy of cardinals. It offers a coherent, discrete, and graded number system that includes finite numbers, infinite numbers, and infinitesimals, with well-defined arithmetic operations and a clear philosophical foundation.
The theory is not offered as a replacement for classical analysis in its practical applications. It is offered as a philosophically coherent alternative—a way of understanding the infinite that respects its essential mystery while providing a formal language for discourse.
2. Primitives and Notation
2.1 Primitives
The theory has the following primitive notions:
- Numbers: The objects of the theory.
- The
finite unit:
, the basis of all
finite numbers. - The
prime operation:
, which generates the
next infinite class. - The
reciprocal operation:
, which generates
infinitesimals. - The
order relation:
. - The standard arithmetic operations: addition, subtraction, multiplication, division (where defined).
2.2 The Prime Notation
The notation is simple and generative. It uses primes to indicate infinite and infinitesimal status:
|
Notation |
Meaning |
Class |
|
|
The finite unit |
|
|
|
The first infinite unit |
|
|
|
The second infinite unit |
|
|
|
The third infinite unit |
|
|
|
The first infinitesimal unit |
|
|
|
The second infinitesimal unit |
|
|
|
The third infinitesimal unit |
|
In general:
primes after the
number: 
(infinite)- primes before the
number:
(infinitesimal)
This notation is visually intuitive and carries the full weight of the hierarchy without recourse to external formalisms.
3. The Hierarchy of Number Classes
3.1 Definitions
Definition 1 (The Base Class 
).
The class contains:
- The
finite integers:
- The infinite integers: certain numbers greater than every finite integer (see Axiom 10).
It includes the number as its unit, and it is
closed under addition and multiplication. Division is not always defined within
; it yields results in other
classes.
Definition 2 (The Class 
).
The class contains:
- Finite
rational numbers (proper fractions): numbers of the form
for finite integers 
, 
. - Infinitesimals:
numbers of the form
for infinite integers 
, including 
.
These two subsets of are distinct. The finite
rationals are finite (they lie between 0 and 1), while infinitesimals are
smaller than every finite positive rational.
Definition 3 (The Hierarchy).
For each integer , define the class 
as follows:
- For
: as above. - For
: 
. That is, the class of
numbers with primes. - For
: 
. That is, the class of
numbers with 
primes before.
Definition 4 (The Full Number System).
The full number system is the union of all classes:
3.2 Axioms of the Hierarchy
Axiom 1 (The Base Class).
There is a class containing the finite
integers and certain infinite integers. This class includes the number as its unit, and it is
closed under addition and multiplication. Division is not always defined within
.
Axiom 2 (The Prime Operation).
For every number 
, there exists a number 
such that:
In particular, 
is the first infinite unit.
Axiom 3 (The Reciprocal Operation).
For every element 
(with 
), there exists a number 
such that:
In particular:
For finite integers , the reciprocal is a finite rational number
in .
Axiom 4 (Disjointness).
The classes and 
are disjoint for 
, except for zero, which
belongs to all classes:
Axiom 5 (The Order of Classes).
For any positive 
and positive 
with 
, we have:
In particular:
4. Arithmetic Operations
Axiom 6 (Addition Within a Class).
For 
:
following the ordinary rules of addition for the coefficients.
Axiom 7 (Multiplication).
For and :
with the coefficient being the product of the coefficients
in .
Example:
Axiom 8 (Division).
For 
and 
with 
:
with the coefficient being the ratio of the coefficients in
.
Example:
The result 
is classified as follows:
|
Condition |
Class |
|
|
|
|
|
|
|
|
|
Updated Summary Table
|
Expression |
Class |
Condition |
|
|
|
if |
|
|
|
if |
|
|
|
if |
Axiom 9 (Mixed Addition).
For and with , the sum 
is an irreducible
compound number. It belongs to the direct sum 
and cannot be simplified to
a single class unless one component is zero.
Example:
5. The Axiom of Infinity
Axiom 10 (The Axiom of Infinity).
There exists a number 
such that:
- Infinity:
for every finite
integer . - Logarithmic
Definition:
. That is, 
. - Template
Division: In the template for , the finite region is
indexed by
, and the infinite
region is indexed by 
. In the template for , the infinite region
is indexed by 
, and the finite region
by 
. - Infinite
Divisibility of the Index: is divisible by every
finite power of 2. (In Option B, is divisible by every
finite integer.) The quotients
are in .
Additionally, one of the following two options is chosen:
Option A: as an Infinite Prime
(Simple).
is relatively prime to every
finite integer other than powers of 2. It has no finite divisors other
than 
.
Option B: as the Divisible Infinite
(Rich).
is divisible by every finite
integer. That is, for every finite , there exists an infinite 
such that:
Equivalently, 
for every finite 
.
6. The Template Representation
Axiom 11 (The Template for ).
Every number in can be represented as a
binary string:
with indices:
The finite region is indexed by . The infinite region is
indexed by .
Axiom 12 (The Template for ).
Every number in can be represented as:
with indices:
The infinite region (infinitesimals) is indexed by . The finite region (proper
fractions) is indexed by .
Definition 5 (Mixed Numbers).
Numbers with digits in both the finite and infinite regions are mixed
numbers:
where 
is finite (or infinitesimal)
and 
is infinite (or
infinitesimal of a different order).
7. The Conjoint Sets
Definition 6 (The Conjoint Sets).
The conjoint set 
is the union of the
infinitesimal/fractional and integer domains. It contains:
- : finite rationals
(proper fractions) and infinitesimals.
- : finite integers and
infinite integers.
Theorem 1 (Symmetry of Conjoint Sets).
For every 
, there exists a unique 
such that:
and conversely.
Proof. By the definition of as the reciprocal of .
8. Irrational Numbers as Potential Infinities
Definition 7 (Irrational Numbers).
An irrational number is a non-terminating sequence of digits in the finite
region of (or, equivalently, in the
infinite region of ). It is not a completed
number but a process or potential infinite sequence.
Axiom 13 (Potential Infinity).
Irrational numbers are not elements of 
. They are represented by
infinite sequences that are never completed. They are useful approximations,
not actual objects.
9. The Absence of a Continuum
Axiom 14 (The Discrete Order).
There is no continuum of numbers. Between any two distinct numbers in , there is no number 
such that 
, unless is explicitly constructed by
an operation.
Theorem 2 (No Completeness).
The system is not Dedekind complete.
There exist bounded subsets of with no least upper bound in
.
Proof. Consider the set of all finite integers in 
. It is bounded above by
every element of 
, but it has no least upper
bound in because there is no greatest
finite integer.
10. Base Parameterisation: A Family of Number Systems
Definition 8 (Base Parameter).
For each integer 
, define:
and:
The full system for base is:
Axiom 15 (Base Invariance).
The template for and is invariant under changes
of base. The cardinality of the sets is determined by , not by the base.
Theorem 3 (Monotonicity of Bases).
For 
, we have 
, and the entire hierarchy 
is pointwise greater than 
for positive infinite
numbers.
Corollary. Choosing a higher base creates a larger
infinity. The system is a distinct number system
for each base , with the same finite part
but different infinite parts.
11. The Laurent Series Interpretation (Optional)
The system can be interpreted as the
set of finite Laurent series in the indeterminate 
:
This is the ring of Laurent polynomials over , with the infinite
indeterminate . It provides a rigorous
algebraic framework for the system.
Note: This interpretation is optional and is offered only as a formalisation tool. The theory stands on its own terms without reference to Laurent series.
12. Summary of Axioms
|
Axiom |
Description |
|
1 |
The base class |
|
2 |
The prime operation generates infinite classes: |
|
3 |
The reciprocal operation generates infinitesimals: |
|
4 |
The classes are disjoint except for zero. |
|
5 |
The classes are ordered: |
|
6 |
Addition is closed within each class. |
|
7 |
Multiplication maps |
|
8 |
Division maps |
|
9 |
Mixed addition is irreducible. |
|
10 |
The axiom of infinity: |
|
11 |
The template for |
|
12 |
The template for |
|
13 |
Irrationals are potential infinities, not actual numbers. |
|
14 |
There is no continuum; the order is discrete (except for zero). |
|
15 |
Base parameterisation: |
13. Conclusion
The theory presented in this paper offers a coherent, discrete, and graded alternative to the continuum-centric foundations of classical mathematics. It is built on a small set of axioms, uses a simple and generative notation, and provides a clear framework for speaking about finite numbers, infinite numbers, and infinitesimals.
The key features of the theory are:
- Discreteness: There is no continuum of numbers. The order is discrete, and the geometric continuum is treated as an illusion—a useful approximation but not a foundation for arithmetic.
- Graded
Infinity: The infinite is not a single, unified domain but a hierarchy
of discrete classes , each isolated from
the others except for zero. This hierarchy is generated by the simple
prime operation: .
- Constructive
Existence: Infinite numbers are defined into existence by explicit
axioms, not inferred from the set of finite integers. The axiom of
infinity introduces as an infinite integer
that defines the template structure.
- Flexibility:
The axiom of infinity offers two options for : the infinite prime
(simple) and the divisible infinite (rich). A base parameterisation yields
a family of number systems , showing that the
"size" of infinity is relative to the chosen base.
- Potential Infinity: Irrational numbers are treated as non-terminating sequences—processes, not completed objects. This respects the constructive spirit of the theory.
- Philosophical Humility: The theory does not claim to "capture" or "domesticate" the infinite. It is a foot ladder resting on the side of Everest—a precise formal language for discourse about the infinite, but not a claim to omniscience.
The theory is offered as a contribution to the philosophy of mathematics, not as a replacement for classical analysis in its practical applications. It is a demonstration that the continuum is not inevitable, and that the infinite can be understood in a different way.
14. Open Questions
- Consistency:
Is the system consistent for all ? Can we prove relative
consistency with a known system?
- Completeness: Can the system support the standard results of analysis (limits, derivatives, integrals) in a reinterpreted form?
- Interactions:
How do the prime and divisible options for affect the properties
of the system? Are there other natural options?
- Base
Hierarchy: If we allow to be infinite (e.g.,
), do we get a
higher-order system? - Connections: How does this system relate to non-standard analysis, surreal numbers, and other heterodox approaches?
15. Final Remark
The foot ladder rests on the side of Everest.
You can climb it, rung by rung:
At each rung, you are higher than before. At no rung do you reach the summit. But you are speaking of the summit, gesturing toward it, pointing in its direction.
That is enough.
End of Paper
Author: E A Thomas 21/07/2026
