Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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-...
Garabed Gulbenkian's user avatar