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

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	Another method, which can be used with theories such as ZFC and PA, is that these theories are not finitely axiomatizable because they prove the consistency of their own restrictions to any fixed level of complexity.
http://www.w3.org/ns/prov#wasQuotedFrom	mathoverflow.net