A field guide to algebra,theorem 1.1.3

Let $\sum$ be a subset of $\mathbf{R}$ containing $0$ and $1$,the set $E(\sum)$ of all real numbers which are constructable from $\sum$ satisfies the following properties:     a):if $x,y\in E(\sum)$ ,

>>阅读原文<<