Paradox on the Countable Axiom of Choice

Babak Jabbar Nezhad

Bishop's constructive mathematics school rejects the Law of Excluded Middle, but instead vastly makes use of weaker versions of the Choice. In this paper we pioneer an example, whi…