Minimal completion of the field of rational numbers: 

See also

Formal science / Mathematics