Ich weiß, ZF und ZFC werden immer als Axiome bezeichnet, doch im eigentlichen Sinn sind es nicht alle, da einge IMHO von den anderen deduktiv hergeleitet werden können. mathematik.de bezeichnet diese als Schema.