Minimal completion of the field of rational numbers:
See also
Formal science
/
Mathematics