Multiple Concepts of Equality in the New Foundations of Mathematics [pdf] 2016 | Dark Hacker News