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

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	when we have all that G??del and L??b and Tarski stuff flying around, some people are tempted to say Oh, mathematics can not really prove things, therefore not-Platonism and not-infinities", which I think is a mistake.
http://www.w3.org/ns/prov#wasQuotedFrom	lesswrong.com