Re:Intuition in Mathematics (2012) [pdf]
by justinpombrio on Monday January 23, 2017 @12:23PM
(#13463832)
> 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...
Secondly, the axiom of choice may be independent of ZF (depending on whether ZF is consistent) but it is certainly not independent of ZFC :).