Ontify
The paradox that there are countable models of theories that assert the existence of uncountable sets.
Wikidata