http://dbpedia.org/resource/Finitary_set_theory
data from the linked data cloud