>>153
工程表:
無限次Galois理論 → Neukirchの抽象類体論 → 局所類体論 → 大域類体論