New posts in New Foundations

Understanding Specker's disproof of the axiom of choice in New Foundations