Links to HN post on "Searching for the missing truth: Axioms and infinities in mathematics".