@wikipedia
The minimal metric-complete extension of the field of rational numbers: .
Formal science / Mathematics