The [minimal model](https://en.wikipedia.org/wiki/Minimal_model_(set_theory)), when it exists, also known as the Shepherdson-Cohen model, is the smallest transitive model of ZFC. This model will have the form $L_\alpha$ for some countable ordinal $\alpha$, and indeed it is $L_\alpha$ where $\alpha$ is the smallest ordinal for which this is a model of ZFC. The minimal model exists whenever there is a well-founded model of ZFC, since in this case the Mostowski collapse of that model will be a transitive model, and the $L$ of that model will be the minimal model or have it as an initial segment.

It is slightly better to refer to the model as the *minimal transitive model* of ZFC, since it is not actually minimal with respect to being merely a model of ZFC—it will have models inside it that it thinks are models of ZFC. Furthermore, the minimal model is not merely minimal, but least, since it is contained in all other transitive models of ZFC.

Since it is a model of $\text{ZFC}+V=L$, one gets on board all of the consequences of that theory in the minimal model. But there are many further properties true in the minimal model, when it exists, that are not provable from $\text{ZFC}+V=L$.

 - The minimal model satisfies $\text{Con}(\text{ZFC})$ and $\text{Con}(\text{ZFC}+\text{Con}(\text{ZFC}))$ and so forth, iterated many times, since these are arithmetic consequences of the existence of a transtive model of ZFC. These assertions go beyond what is provable in $\text{ZFC}+V=L$ alone, and so they provide examples of interesting assertions provably true in the minimal model but not provable in that theory.

 - Meanwhile, the minimal model satisfies the mildly self-referential assertion "the minimal model of ZFC does not exist". It can't exist inside itself. Consequently, the minimal model thinks there is no transitive model of ZFC. In a sense, the theory of the minimal model of ZFC is exactly on the boundary of the theory of consequences of the existence of a transitive model of ZFC that are absolute to such models, and the assertion that such models actually exist. The minimal model has all those absolute consequences, but not the existence of a transitive model.

 - The minimal model is pointwise definable—every individual is definable without parameters. This is because being a model of $V=L$ it has a definable global well order, and so the definable elements of it will form an elementary substructure, which will Mostowski collapse to some $L_\alpha$, but by minimality the collapse cannot be smaller than minimal model itself, and so it is isomorphic to its definable hull. So everything is definable without parameters.

 - The minimal model thus forms a counterexample ZFC universe for the [Math tea argument](https://youtu.be/RTcXiutDxYY?si=Y5inamW2wo2EnbVa), which attempts to show that there must be nondefinable real numbers, since there are only countably many definitions in set theory, but uncountably many real numbers.  

 - The minimal model has no inaccessible cardinals, nor any worldly cardinals. If it did, then they would provide smaller transitive models, contrary to minimality. In this sense, the minimal model is not great for large cardinal set theory.

 - Similarly, the minimal model can have no inner models of large cardinals, and this will mean, for example, that it must deny certain fragments of determinacy.

 - Meanwhile, if there actually are numerous large cardinals (above the minimal model), then the minimal model, being a transitive model of ZFC, will accurately believe the corresponding consistency assertions, which are absolute to any transitive model, and in this sense, it can still have some access to large cardinal set theory.

 - Indeed, the same idea shows that the minimal model is correct about the consistency of any theory that it can formulate.

 - The consistency strength of the existence of the minimal model is strictly stronger than ZFC, but weaker than the existence of a worldly cardinal, which is itself weaker than the existence of an inaccessible cardinal.