How do we prove that something is unprovable? | Hacker News Reader