That's why you look at completeness in terms of coverage, not as a binary. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

Dylan16807 on Oct 27, 2013 | parent | context | favorite | on: How is a system of axioms different from a system ...

That's why you look at completeness in terms of coverage, not as a binary.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact