Assertion: computer's system | /r/MadeOf | statement
Facets:
Source sentences:
text: Gödel's incompleteness theorem proves that any logical system powerful enough to characterize arithmetic will contain statements that can neither be proved nor disproved within that system.