Tag Archives: ramified type theory

What is Russell paradox?

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

Posted in LOD, OWL, RDF, Semantic Web | Tagged , , , , | 1 Comment