Assertion: gauss's proof | /r/HasProperty | cast into formula
Facets:
value: within set theory
type: OTHER
Source sentences:
text: nothing but set theory in some axiomatization, in the sense that every mathematical statement or proof could be cast into formulas within set theory.