Are there axioms that imply ZFC?

Question

The question is simple: do we know if there are non-trivial axiom collections stronger than (imply but are not implied by) $ZFC$?

To clarify what I mean: Do we know a way of replacing the axioms in ZFC by other axioms that do not resemble ZFC and such that, together, imply ZFC, but none of whom are implied by ZFC?

To be even clearer of what constitutes an answer for me, suppose we could make up 5 new axioms such that from these we can prove the 8 axioms of ZFC, but starting with the axioms of ZFC we can`t prove any of these 5 new axioms.

Answer 1

I believe Morse-Kelly set theory may satisfy your requirements. While it shares some axioms with ZFC, each theory contains axioms that the other does not, so MK is not simply ZFC + some other axiom, and MK is a second-order theory (sets and classes) while ZFC is only first-order (just sets). Most importantly MK is a proper extension of ZFC, in other words $MK \vdash Con(ZFC)$ but not the other way around.

I've had little experience with MK myself so I'm sure others can chime in about more details, but this article has a very well-written overview of the above statement and some consequences. For example, it points out that ZFC + "there exists an inaccessible cardinal" $\vdash Con(MK)$, so MK is not "much" stronger than ZFC.

Answer 2

Let P be a proposition which is independent of ZFC, and for each axiom A of ZFC, replace it with "A and P".

It's not what you want, but I don't think you're going to be able to formulate a very well-defined question for what you want.