모든 inductive set의 intersection을 N으로 정의하고

N을통해 Z를만들고, Z를통해 Q를만들었더니

모든 ordered field의 intersection을 Q와 비교해보니 같은거임?