::Intuitionists reject the law of excluded middle.  They're apparently the ones interested in the connection with the axiom of choice.  I'm not defending any of thisit seems like madness to me toobut there's a real strain of thought about this out there.  The anonymous editor didn't just make this up, despite the fact that it makes no sense in the context of the article.