Robinson established in 1949 that the theory of fields is undecidable.
ロビンソンは1949年、体の理論が決定不能であることを立証した。