Unordered pairs and the axiom of binary choice

by Mark Dominus - (0 min read)