How do we know that mathematics is true? What grounds mathematics? [video] | Hacker News Reader