一个数域就是包含0,1,而且关于加减乘除都封闭.
因此所求的东西,就是用0,1,1/sqrt(2)和四则运算能算出来的所有东西.
结果是：{有理数} 并 {有理数乘sqrt(2)}.