All Questions
1 question
9
votes
4
answers
1k
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 non-...