
Recent Posts
Recent Comments
Archives
Categories
Meta
Tag Archives: ZermeloFraenkel set theory
Axiom of Foundation in Zermelo Fraenkel Set Theory
I pointed out, in the earlier page of my blog, that Pat and Brian said in RDF Semantics, “Such ‘membership loops’ might seem to violate the axiom of foundation, one of the axioms of standard (ZermeloFraenkel) set theory, which forbids … Continue reading
Posted in RDF, Semantic Web
Tagged axiom of foundation, cumulative sets, KIF, Russell paradox, ZermeloFraenkel set theory, ZF set theory
2 Comments
Universal Class
In the document of RDF Semantics, the term “universal class” appears only once in the discussion on membership loop. When classes are introduced in RDFS, they may contain themselves. … In particular, this use of a class extension mapping allows … Continue reading
Posted in OOP, RDF, Semantic Web
Tagged axiom of foundation, CLOS, membership loop, paradox, Python, universal class, vicious circle, ZermeloFraenkel set theory
Leave a comment