> I once told my math prof (logician) who made a comment about transfinite cardinals: careful it's powerful but it's power from the devil. I half regret that comment in retrospect.
You're in good company -- from Penelope Maddy's "Believing the Axioms"[0]:
---
Measurable cardinals were introduced by Ulam in [1930], where he proved that they are inaccessible. They are now known to be much larger than that, larger than all the hyperinaccessibles, Mahlos and weakly compacts. Indeed, because of their power, they are probably the best known large cardinals of all. The voice of caution reminds us that they were invented by the same fellow who invented the hydrogen bomb.
You're in good company -- from Penelope Maddy's "Believing the Axioms"[0]:
---
Measurable cardinals were introduced by Ulam in [1930], where he proved that they are inaccessible. They are now known to be much larger than that, larger than all the hyperinaccessibles, Mahlos and weakly compacts. Indeed, because of their power, they are probably the best known large cardinals of all. The voice of caution reminds us that they were invented by the same fellow who invented the hydrogen bomb.
---
0: https://jwood.faculty.unlv.edu/unlv/Articles/Maddy1.pdf