I suppose it is. But, to me, that's actually kind of the point. I think a meta lesson of infinite set theory is that logic can lead to strange places. So a p

I suppose it is. But, to me, that's actually kind of the point. I think a meta lesson of infinite set theory is that logic can lead to strange places. So a practitioner should think of logic as a way to get from point A to point B in conceptual space and not so much as a way of exploring what conclusions are reachable from point A. Actually maybe it's fine to do the latter, but just take what you discover with a grain of salt.