6
votes
4answers
697 views

Does there exist a non-trivial Ultrafinitist set theory?

Does there exist a set theory T-which has not yet been proved to be inconsistent-and in which one can prove the existence of (1) the empty set (2) sets that are singletons and (3) sets which have ...