This is not my area but a question occurred to me that I can not find the answer to. There is a very strong **axiom of constructibility** which *ironically* gives us highly non-constructive math (**GCH** is one of its implications). What would be an equally strong axiom in the opposite direction? And I mean direction in a philosophical sense, so what would be the strongest axiom that constructivists/intuitionists would approve of?


My first idea was to find the largest $\kappa$ such that $2^{\aleph\_0} = \aleph\_{\kappa}$ is consistent with **ZF** but this set is unbounded ($\kappa$ can be any finite number) and $2^{\aleph\_0} < \aleph\_{\omega}$. Which brings up the question, how much fundamental difference are there between **CH** and $2^{\aleph\_0} = \aleph\_{118}$ for example?



Cardinal Arithmetic, foundations and constructive math
Cardinal arithmetic is the wrong thing to think about, constructively speaking. Here are some facts about constructive mathematics (when I say "may" that means there is a model validating the fact):


* Cardinals cannot be shown to be linearly ordered.
* The ordinals may form a set.
* A subset of a finite set need not be finite.
* A subset of a countable set need not be countable.
* It is conistent to assume that there is an embedding $\mathbb{R} \to \mathbb{N}$.
* It is consistent to assume that every set is a quotient of a subset of $\mathbb{N}$, for example $\mathcal{P}(\mathcal{P}(\mathbb{N}))$.


So, I think you're going in the wrong direction. Size is simply not measured the same way intuitionistically. "Extra" axioms considered by constructive mathematics can broadly be divided into several groups:


1. **Fragments of the law of excluded middle**, such as Limited Principle of Omniscience and Markov Principle, which bring us closer to classical mathematics.
2. **Choice principles**, such as countable choice, dependent choice, function choice, which bring in some amount of the axiom of choice. Another such axiom is Aczel's presentation axiom, which states that every set is covered by one for which choice holds.
3. **Continuity principles**, such as "every function between complete separable spaces is continuous", which are typically incompatible with the law of excluded middle. Another such axiom is the Fan principle, whose important consequence is that the closed interval is compact .
4. **Induction principles**, which guarantee existence of sets defined by various induction schemata.
5. **Computability principles**, stating that "everything is computable" in some form. The best known such principle is the formal Church's thesis.


The induction principles vaguely correspond to large cardinal axioms, and so they are perhaps closest to what you are asking for. A *predicative* constructivist will worry about existence of powersets, so he is going to consider various other axioms that bring in powersets in a limited form, but let us not get into that.


