@wikipedia
Algebraic closure
of the field of rational numbers:
See also
Formal science
/
Mathematics