Comment by upquark

I said "and other groups that reject all infinite constructions". Some schools of thought within that general intuitionist/constructivist/etc branch of mathematical logic do reject all infinite constructions: https://en.wikipedia.org/wiki/Finitism

Either way, my point above was that this entire branch is not "mainstream math" by any means, AFAIK