seijikoide on Hello Semantic Web Univer… dan on Hello Semantic Web Univer… seijikoide on Axiom of Foundation in Zermelo… footstep002 on Axiom of Foundation in Zermelo… Elektrische Zahnbuer… on What is Russell paradox?
Monthly Archives: October 2011
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 (Zermelo-Fraenkel) set theory, which forbids … Continue reading
Even if we restrict ourselves to select only sets that do not include the membership loop, we cannot avoid a paradox on a kind of naive formal systems such that contains inside the infinity or the totality. See the following … Continue reading
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