[black_knight]

Simply assuming the negation of AC is boring, as negations often are. But there are stronger statements, implying the negation of AC which might be as useful. I think for instance one could assume all subsets of the plane to be measurable. Seems convenient to me.

Same with law of the excluded middle. Tossing it out we can assume all functions are computable and all total functions in the real are continuous. Seems nice and convenient too!