
Recent Posts
Recent Comments
Archives
Categories
Meta
Advertisements
Regarding Russell Paradox, KIF 3.0 set up a special set theory that is based on von NeumannBernaysGödel (NBG). The 7th chapter of the reference manual, which is titled “Sets” starts with the description as follows. “In many applications, it is … Continue reading
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
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