User blog comment:MachineGunSuper/A world without the infinite/@comment-36957202-20181208204238/@comment-37246647-20181208204611

Ouch. That would hurt. It's a good thing that we use ZFC, which has infinity and replacement.