What is the smallest fragment of ZFC that has the same consistency strength as ZFC?

Solution 1:

I think a flaw in your argument is that you must consider what the assumptions are when proving that a statement is independent of a theory. For a non-subtle example, the statement "there is an inaccessible cardinal" is independent of $\mathsf{ZFC}$ because it fails in $V_\kappa$ where $\kappa$ is the least inaccessible cardinal, and holds if there is in fact an inaccessible cardinal. Nevertheless, the theory "$\mathsf{ZFC} + \text{there is an inaccessible cardinal}$" has higher consistency strength than $\mathsf{ZFC}$ itself. This happened because we were implicitly assuming (or at least I was implicitly assuming) the consistency of an inaccessible cardinal for the independence proof.

One might think that this issue could be avoided by only considering independence results that can be obtained by inner models and forcing, rather than by large cardinals. However, one still needs some assumptions to be sure that these inner models and forcing extensions behave as desired. Although the proofs that, say, $\mathsf{CH}$ and $\mathsf{AC}$ are independent of $\mathsf{ZFC}$ may be fairly robust in this regard, many independence proofs are more sensitive to assumptions. For example, to show that the Axiom of Replacement is independent from the others, inner model and forcing methods are not going to work because to show that replacement holds in $L$ and in forcing extensions $V[G]$, you need to use replacement in $V$.

We can show that replacement is independent from the others if we assume that it is consistent with the others, just like we can show that the existence of an inaccessible cardinal is independent of $\mathsf{ZFC}$ if we assume that it is consistent with $\mathsf{ZFC}$. You may encounter similar situations with other axioms, such as Power Set, and this will limit your ability to pare down the collection of axioms in the way you envision.

Of course the question in your title is still valid, once you replace "the smallest fragment" with "a minimal fragment," but perhaps it no longer is the question you want to ask. If it is, please correct me.