@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
@prefix ns2:	<http://dbpedia.org/class/yago/> .
dbpedia:Non-well-founded_set_theory	rdf:type	ns2:SystemsOfSetTheory .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbpedia:Non-well-founded_set_theory	owl:sameAs	<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000042a121> .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix ns5:	<http://en.wikipedia.org/wiki/> .
dbpedia:Non-well-founded_set_theory	foaf:page	ns5:Non-well-founded_set_theory .
@prefix dbpprop:	<http://dbpedia.org/property/> .
dbpedia:Non-well-founded_set_theory	dbpprop:reference	<http://us.metamath.org/mpegif/axreg.html> .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia:Non-well-founded_set_theory	rdfs:label	"Hiperconjunto"@pt ,
		"Non-well-founded set theory"@en ;
	dbpprop:abstract	"Em ZFC sem o axioma da regularidade, a possibilidade de infundados conjuntos surgem. Estes conjuntos, se existem, s\u00E3o tamb\u00E9m chamados hiperconjuntos. Claramente, se A \u2208 A, ent\u00E3o A \u00E9 um hiperconjunto. Em 1988, Peter Aczel publicou um trabalho influente, Non-Well-Founded Sets (Conjuntos N\u00E3o-Bem-Fundados). A teoria dos hiperconjuntos tem sido aplicada \u00E0 ci\u00EAncia computacional (processamento alg\u00E9brico e sem\u00E2ntica limite), lingu\u00EDstica (teoria da situa\u00E7\u00E3o), e filosofia (trabalho sobre o paradoxo de Liar)."@pt ,
		"Non-well founded set theories are variants of axiomatic set theory which allow sets to contain themselves and otherwise violate the rule of well-foundedness. In non-well founded set theories, the foundation axiom of ZFC is replaced by axioms implying its negation. The theory of non-well-founded sets has been applied in the logical modelling of non-terminating computational processes in computer science, linguistics and natural language semantics, philosophy (work on the Liar Paradox), and in a different setting, non-standard analysis."@en ;
	rdfs:comment	"Non-well founded set theories are variants of axiomatic set theory which allow sets to contain themselves and otherwise violate the rule of well-foundedness. In non-well founded set theories, the foundation axiom of ZFC is replaced by axioms implying its negation."@en ,
		"Em ZFC sem o axioma da regularidade, a possibilidade de infundados conjuntos surgem. Estes conjuntos, se existem, s\u00E3o tamb\u00E9m chamados hiperconjuntos. Claramente, se A \u2208 A, ent\u00E3o A \u00E9 um hiperconjunto. Em 1988, Peter Aczel publicou um trabalho influente, Non-Well-Founded Sets (Conjuntos N\u00E3o-Bem-Fundados)."@pt .
@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix ns9:	<http://dbpedia.org/resource/Category:> .
dbpedia:Non-well-founded_set_theory	skos:subject	ns9:Wellfoundedness ,
		ns9:Systems_of_set_theory .
@prefix ns10:	<http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/> .
dbpedia:Non-well-founded_set_theory	dbpprop:hasPhotoCollection	ns10:Non-well-founded_set_theory .
dbpedia:Non-well-founded_set	dbpprop:redirect	dbpedia:Non-well-founded_set_theory .
dbpedia:Hyperset	dbpprop:redirect	dbpedia:Non-well-founded_set_theory .
dbpedia:Nonstandard_set_theory	dbpprop:redirect	dbpedia:Non-well-founded_set_theory .
@prefix yago:	<http://mpii.de/yago/resource/> .
yago:Non-well-founded_set_theory	owl:sameAs	dbpedia:Non-well-founded_set_theory .