About: http://webisa.webdatacommons.org/320499347

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	Tarski's axiom states (in modern language) that every set is a member of at least one Grothendieck universe, where a Grothendieck universe is, loosely speaking, a set within which all usual mathematical operations can be performed.
http://www.w3.org/ns/prov#wasQuotedFrom	numericana.com