« Algebraic closure (cont.)
default
nord
catppuccin
serena
Remark.
[1609]
$\overline{\mathbb{Q}}$ is countable.