>>14160149>axiom of choicei suspect the axiom of choice is bullshit because of the limitations of turing machines. i bet most sets have elements so nasty and innumerable that no algorithm exists to make the choices.
i haven't thought about it more, though, since in most cases of interest this isn't a problem. but mathematically it feels like a huge *and then a miracle happens* step