Assertion: real number | /r/HasProperty | constructible
Facets:
value: lies in a field
type: LOCATION
Source sentences:
text: Using slightly different terminology, a real number is constructible if and only if it lies in a field at the top of a finite tower of quadratic extensions, starting with the rational field ℚ.