
Recent Posts
Recent Comments
Archives
Categories
Meta
Tag Archives: NBG set theory
Set Theory in KIF 3.0
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
Posted in RDF
Tagged bounded set, KIF, NBG set theory, principle of restricted set abstraction, Russell paradox, unbounded set
Leave a comment