Assertion: real number | /r/CapableOf | start with rational field
Facets:
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 ℚ.