모든 inductive set의 intersection을 N으로 정의하고N을통해 Z를만들고, Z를통해 Q를만들었더니모든 ordered field의 intersection을 Q와 비교해보니 같은거임?
각 ordered field의 원소가 집합론적으로 뭔지 모르니 intersection이라 하긴 그렇고, 대신 임의의 ordered field에 Q가 embedded될 수 있다고 말할 수 있음.
무슨말인지 이해는안가지만 공부하다보면 깨달을거같음ㄳ