Assertion: gauss's theorem | /r/HasProperty | rare
Facets:
value: to date
type: TEMPORAL
Source sentences:
text: There are number-theoretic statements (for example, the Paris–Harrington theorem) provable using second order but not first order methods, but such theorems are rare to date.