News for hackers. Stuff that matters.
Re:Intuition in Mathematics (2012) [pdf] by waqf on Monday January 23, 2017 @12:17PM (#13463767)
Firstly, the sentence you quoted, while unfortunately ambiguous, is correct if you take "of which" as picking up "assumptions" instead of "results". That is, the assumptions, of which a famous one is AC, have counterintuitive consequences, of which the original poster does not give an example but Banach–Tarski is a commonly cited one.

Secondly, the axiom of choice may be independent of ZF (depending on whether ZF is consistent) but it is certainly not independent of ZFC :).

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...