Inhabited set
http://dbpedia.org/resource/Inhabited_set
In constructive mathematics, a set is inhabited if there exists an element In classical mathematics, this is the same as the set being nonempty; however, this equivalence is not valid in intuitionistic logic (or constructive logic).
rdf:langString
rdf:langString
Inhabited set
xsd:integer
5473033
xsd:integer
1062680530
xsd:integer
5931
rdf:langString
Inhabited set
rdf:langString
In constructive mathematics, a set is inhabited if there exists an element In classical mathematics, this is the same as the set being nonempty; however, this equivalence is not valid in intuitionistic logic (or constructive logic).
xsd:nonNegativeInteger
3857