What Are the Other Foundations of Mathematics?
math.stackexchange.com