What Are the Other Foundations of Mathematics? | Dark Hacker News