 One obvious criticism is that this theory is extremely strong, compared with the other systems given here. This could be a good thing or a bad thing, depending on one’s attitude. If one is worried about the consistency of a weakly compact, the level of consistency strength here is certainly a problem (though the theory of the \(\omega\) -hyperuniverse will stay around in any case). On the other hand, the fact that the topological motivation for set theory seems to work and yields a higher level of consistency strength than one might expect (“weakly compact” infinity following from merely uncountable infinity) might be taken as evidence that these are very powerful ideas.