Links to HN post on "Picking holes in mathematics: Finitely stated, undecidable propositions".