Is Mathematics one big tautology? | Hacker News Reader