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

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	Any logical system rich enough to express integer arithmetic is incomplete in the sense that it is not true that, for every well-formed formula F, either F or not F is a theorem (has a proof in that logic).
http://www.w3.org/ns/prov#wasQuotedFrom	conservapedia.com