Why consider such a comparatively involved case (although it is by far more overwhelming than my case). But my case is so easy to understand that even a completely perverted matheologian can grasp at least the first dip.
Insert one by one every natural number into the urn (in always half time like the room maid of Hilberts hotel cleans all rooms between 11 o'clock and noon). And take in the same way every natural number out of the urn, but NEVER take a number out, before the next one has been inserted. Then by simplest logic you will never have taken out all natural numbers.
Now consider Cantor's case: All natural numbers can be taken out. That is impossible, because even without my ban every natural number taken out has a larger brother remaining in the urn.
Therefore logic does not tolerate matheology. A "study of logic and set theory" is a contradictio in adjecto.