> formal systems that are sufficiently expressive One of the more interesting bits about this is understanding what "sufficiently expressive" means. The Natura

> 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.