Hacker News new | ask | show | jobs
by quatrevingts 4374 days ago
Incomplete, not inconsistent; i.e., not everything that is true is provable.
1 comments

Thanks, fixed.