Comment by pdpi

> formal systems that are sufficiently expressive

One of the more interesting bits about this is understanding what "sufficiently expressive" means. The Naturals are incomplete, the Reals aren't.