Submitted:
25 August 2026
Posted:
26 August 2026
You are already at the latest version
Abstract
Class ordinals are first defined as an extension of ordinals, which are called set ordinals. In order to create a satisfactory definition of a maximally large class, this definition needs to quantify over all set-theoretic theories. Consequently, the Axiom of Maximal Strength (AMS) asserts that there exists a class that does not provably exist in any theory that has a theorem-preserving interpretation into a consistent theory that has a parameterless first-order definition with the length of a set ordinal. This property is called non-SO-interpretability. The meta-theory TM that interprets AMS is presupposed to be sound, non-SO-interpretable, and to extend MK. It is then proven that TM is consistent with AMS and that the class Ord of all the ordinals of TM is a consistent version of Cantor's absolute infinite.
Keywords:
Cantor’s absolute infinite
; actualism vs. potentialism
; proper class ordinals
; axiomatic theories
; Infinitary logic
; Gödel’s incompleteness theorems
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.