This HTML5 document contains 4 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
n4metafilter.
isaphttp://webisa.webdatacommons.org/prov/
isahttp://webisa.webdatacommons.org/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
Subject Item
isa:45281472
rdf:type
prov:Entity
prov:value
To be precise, G??del showed that given any system of axioms that are powerful enough to express integer arithmetic, there will be statements that cannot be proven either true or false (unless the system is inconsistent, i.e. there is a statement that can be proven both true and false).
prov:wasQuotedFrom
n4:com
Subject Item
isap:132381151
prov:wasDerivedFrom
isa:45281472