The axiom of choice in metric measure spaces and maximal δ-separated sets. - Michal Dybowski; Przemyslaw Górka (Arch. Math. Log., 2023)