> Firstly, the sentence you quoted, while unfortunately ambiguous, is correct if you take "of which" as picking up "assumptions" instead of "results".

Oh, that's what Koshkin was trying to say.

> Secondly, the axiom of choice is not independent of ZFC, it's independent of ZF (assuming ZF is consistent) :).

Ah, the C stands for choice...