代数閉体の理論は完全だが、可算濃度で同型でないものがある。