 For the sake of historical accuracy, we should remark that Beppo Levi, who made an articulated contribution to the debate on the axiom of choice in the first two decades of the 1900s, outlined an antinomy which is essentially a variant of Berry’s paradox in the context of discussing Richard’s paradox (see Levi 1908, and also Lolli 2007 and Bruni 2013 for further comments about Levi’s approach to paradoxes).