1) By actual infinity I mean that given X, it is inaccessible by Y, where Y is a placeholder for any possible non-finite set, such that no non-finite set is accessible to X (X is beyond the notion of collection of objects, where set is a particular case of collection).

2) By (1) any given non-finite set it is permanently under construction (it can't have an accurate cardinal number), which means that Y is defined in terms of potential infinity with respect to X.

3) Both X and Y are used in the considered mathematical framework.

In order to be clearer I wish to share some of my notions about this question.

Here is a quote taken from Wikipedia:

"A cardinal number λ is a weak limit cardinal if λ is neither a successor cardinal nor zero. This means that one cannot "reach" λ from another cardinal by repeated successor operations. These cardinals are sometimes called simply "limit cardinals" when the context is clear."

By Cantorian mathematical framework, actual infinity is (at least) defined in terms of sets, such that |N| is the weak limit cardinal of the set of all natural numbers (where |N| is the smallest weak limit cardinal).

If one defines actual infinity by going beyond sets, then any non-finite cardinal number that is based on sets, is inaccessible to actual infinity (it can't measure actual infinity), and therefore it can't have an accurate value (being inaccessible means permanently under construction).

This is exactly what I do by defining a given circle (which its circumference > 0) as a non-composed object (it is not defined as a collection (or more specifically, set) of objects (set of points, in this case)).

So, x (the circle's circumference) > 0, where the division operation is used here to define the number of points on the circle (I use the term "on" in order to indicate that a given circle is not defined as a collection (or more specifically, set) of objects (set of points, in this case)).

Let us use the framework of modular arithmetic in order to examine the concept of cardinal numbers, which "are a generalization of the natural numbers used to measure the cardinality (size) of sets" (quoted from Wikipedia).

An example:

Let B be a point and let A be a non-composed circle, such that it is not defined as a set of points.

Let the circumference of the non-composed circle be x, such that x > 0.

Let the division operation be used here in order to denote the number of Bs on A (we are using here the term "on" in order to indicate that A is not defined as a set of B objects).

By this framework:

x/0 indicates that there are 0 Bs on A (A is not defined as a set of B objects).

x/1 indicates that there is 1 B on A (A is not defined as a set of B objects).

x/2 indicates that there are 2 Bs on A (A is not defined as a set of B objects).

x/3 indicates that there are 3 Bs on A (A is not defined as a set of B objects).

Etc. ad infinitum … (where A is not defined as a set of B objects).

By this framework:

a. x/0 is a valid mathematical expression, which indicates that A is non-composed (A is not defined as a set of B objects).

b. By a., No cardinal number > 0 of Bs on A, defines A as non-composed (exactly because A is not defined as a set of B objects).

c. By b., A is defined in terms of actual infinity, where any non-finite cardinal number is a measurement of potential infinity (which means that infinite sets are defined in terms of potential infinity).

d. By c., no non-finite set has an accurate cardinal number (by this framework non-finite sets are defined in terms of potential infinity), since it is inaccessible to A, which is defined in terms of actual infinity.

e. Such framework is non-Cantorian.

The usefulness of such framework:

It defines infinite sets (or more generally, infinite collections of objects) as open systems, which may lead to better understanding of non-entropic systems (for example, living systems can be researched by mathematical tools that do not define the size of non-finite sets by fixed values, as done in case of finite sets).

Moreover, by looking at A as a non-composed 1-dim string-like object, it is actually used to gather any number > 0 of Bs into collections (of 0-dim beads-like objects), so we get a simple non-Cantorian model of the concept of set, which is a particular case of the concept of collection (generally, any pair of (n,k) dims, such that n=non-negative integer and k=non-negative integer > n, can be used (which means that modular arithmetic framework is some particular case of the considered mathematical framework)).

  • 2
    Calculus is an example if you consider its foundations which reside on set theory and recall that the limit operation and analysis encompass potential infinite.
    – user18096
    Commented Aug 20, 2018 at 17:16
  • 5
    The title question is interesting, but most of the post does not help and should be deleted (most users would not read a wall of text). What "accessible" or " permanently under construction" mean in the opening lines is unclear and clarifying that might help. But if "actual" and "potential" are assigned some technical meanings then this is a technical question for Math SE or Math Overflow, not us.
    – Conifold
    Commented Aug 21, 2018 at 0:34
  • 1
    @doromshadmi Now you are going out of your way to pretend I am being awful to you instead of trying to make sense. This is not about your ego. I am out of here. II have deleted my answer and I suggest people who respect decent argument to delete their answers, too. This notion of 'constructed' is nonsense in Classical mathematics and automatic in Intuitionistic mathematics (time either exists or it doesn't), and you dare not avoid the nonsense concept and say anything, or you will be taken to task.
    – user9166
    Commented Aug 10, 2019 at 10:14
  • 1
    @doromshadmi I have not contested that. I asked whether space is composed of its contents or not. You didn't answer. Don't attack me by inventing things I supposedly said but didn't. Give a correct, complete and meaningful definition of 'composed' or do not insist people use this undefined and internally inconsistent concept just to serve you.
    – user9166
    Commented Aug 10, 2019 at 10:28
  • 1
    @doromshadmi Being pointlessly pushy and insulting is about ego.
    – user9166
    Commented Aug 10, 2019 at 10:34

1 Answer 1


Yes, there is a theory needing both notions, namely modern set theory.

It has finished or actual infinity, guaranteed by the axiom of infinity. There are all infinite sets actually infinite by the axiom of extensionality.

However there is no set of all sets. That means the hierarchy of sets is not complete. But since ordinal numbers and also cardinality have no upper bound, this hierarchy is potentially infinite.

  • if the notion of actual infinity is defined not in terms of composed forms like sets (for example, at least, ___ is axiomatically defined as a non-composed form), then the axiom of infinity of modern set theory does not guarantee sets (which composed forms) in terms of actual infinity. Commented Sep 17, 2018 at 14:14

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .