Assertion: gauss's theorem | /r/HasProperty | true
Facets:
Source sentences:
text: As such, it is home to Gödel's incompleteness theorems which (informally) imply that any effective formal system that contains basic arithmetic, if sound (meaning that all theorems that can be proved are true), is necessarily incomplete (meaning that there are true theorems which cannot be proved in that system).
text: Growing directly out of his magnetic work but linked also to his Theoria attractionis of 1813, it was the first systematic treatment of potential theory as a mathematical topic, recognized the necessity of existence theorems in that field, and reached a standard of rigor that remained unsurpassed for more than a century, even though the main theorem of the paper was false, according to C. J. de la Vallée Poussin (see Revue des questions scientifiques, 133 , 314–330, esp. 324).