SGM: Sui Generis Mathematics

The Cantorian transfinite cumulative hierarchy $V$ of pure wellfounded sets has an amazing property:

Every mathematical object that anyone has ever thought of can be "represented/modelled" in $V$.

That is: pairs, relations, functions, tuples, sequences, ordinals, cardinals, $\mathbb{N}$, $\mathbb{Z}$, $\mathbb{Q}$, $\mathbb{R}$, $\mathbb{C}$, infinitesimals, etc., S_n, graphs, groups, vector spaces, topological spaces, manifolds, fibre bundles, etc., etc., can all be represented in $V$. In fact, most of them live happily inside the rank $V_{\omega + n}$, with $n$ around $3$.

One might object:

Ah, but what about proper classes?

Well, ok, these are structures that are just as large as $V$ itself.

A much more serious objection (based on Benacerraf's famous 1965 article "What Numbers Could Not Be"):

"Represented" yes, but that doesn't mean that, e.g., the real number $\pi$, or the group SU(3), is a set. Furthermore, extensionally inequivalent representations exist. E.g., there are two distinct sets $X$ and $Y$ both of which can represent/model the natural numbers. And this phenomenon of non-uniqueness is pervasive. In a sense, there are lots and lots are arbitrary choices. It doesn't in fact ever matter which "choice" we make, unless we ask a dumb question. 

(There is a technical reason for it not ever mattering: these reductions can be formulated as definitional extensions of $ZFC$ and definitional extensions are conservative.)

These "arbitrary choices" are, I believe, rather like gauge choices. We can choose some set $X$ to represent $\mathbb{N}$, or $\mathbb{R}$, etc., and in many inequivalent ways. But perhaps we would like to have natural numbers and real numbers living in the mathematical universe quite independently of any reduction. They would be sui generis mathematical objects. Sui generis mathematical objects will always be representable in $V$. But they live alongside $V$, rather than inside $V$.

How might one give a theory of these objects which did not require some arbitrary choice for the reduction to sets? What would a "gauge-invariant" theory of sui generis mathematical objects---pairs, relations, functions, natural numbers, ordinals, etc.--- look like?

I think the answer is this:

Extend set theory with abstraction principles for sui generis mathematical objects.

The kind of set/class theory one might start with is $\mathsf{ASC}$, "atoms, sets, and classes", as described in this M-Phi post, along with requisite set existence axioms. If one adds the usual set existence axioms, one gets a theory simlar to $\mathsf{MKA}$, Morse-Kelley set (class) theory with atoms.

For the sui generis entities, one can then consider quite a variety of abstraction principles for sui generis mathematical entities. Here are three:

(T-Abs) $\sigma_n(x_1, \dots, x_n) = \sigma_n(y_1,\dots, y_n) \leftrightarrow x_1 = y_1 \& \dots \& x_n = y_n$.
(N-Abs) $|X| = |Y| \leftrightarrow X \sim Y$.
(E-Abs) $Equiv_{\phi} \to ([x]_{\phi} = [y]_{\phi} \leftrightarrow \phi(x,y))$.

where $\phi = \phi(x,y)$ is a formula with two free variables, and $Equiv_{\phi}$ says that $\phi$ expresses an equivalence relation.

Intuitively:

• (T-Abs) is an abstraction principle yielding tuples;
• (N-Abs) is an abstraction principle yielding cardinal numbers; 
• (E-Abs) is an abstraction principle yielding "equivalence types" (e.g., isomorphism types).

Define $\mathsf{SGM}$ (for "Sui Generis Mathematics") to be the result of adding these abstraction principles to $\mathsf{MKA}$:

$\mathsf{SGM} := \mathsf{MKA}$ + (T-Abs) + (N-Abs) + (E-Abs).

Then I believe---but I'm also not entirely sure---that the following conjecture is correct:

$\mathsf{SGM}$ is a conservative extension of $\mathsf{MKA}$.

For given a model for $\mathsf{MKA}$, then we can interpret each abstraction principle, in the fairly obvious way, to come out true. For the abstractions with tuples and equivalences, we know how to do this. For the abstraction given by (N-Abs), i.e., Hume's Principle, then the abstracta $|X|$ for set sized classes $X$ are interpreted as cardinals, in the usual way (i.e., initial ordinals). Any proper class sized $X$ has the same cardinality, $=|V|$: call this $\infty$. This can presumably be interpreted as some arbitrary object that is not an initial ordinal.

In more detail, $\mathsf{SGM}$ implies the existence of anti-zero, $\infty$, i.e.,

$\mathsf{SGM} \vdash \infty = |V|$

Assuming there are atoms, then this unique very "large" entity could be interpreted as some atom. In fact, I am inclined to add as an axiom:

All sui generis abstracta are atoms.

But this would then (in the intended model, as it were) force the collection $At$ of atoms to form a proper class sized collection. And the cardinality $|At|$ of the collection $At$ of atoms would be $\infty$, and also an element of the collection of atoms. I.e.,

$\infty \in At$.

But I think this is all ok.