technically yes, but the proof would usually show that this works by constructing the bijection of [0,1] and (0,1) and then you’d say the cardinalities are the same by the Schröder-Berstein theorem, because the proof of the latter is likely not something you want to demonstrate every day
I’m pretty sure he was involved with the liberation theology movements in Argentina before the previous pope clamped down on it (in his capacity as a cardinal)