Discussion between ac2357 and Noah Schweber

Imported from a comment discussion on https://math.stackexchange.com/questions/5036723/using-set-theory-to-express-finitely-many-does-compactness-mean-it-is-bound-t