Talk:Axiom of Pairing from Powers and Replacement

I don't want to refactor to include another proof, but Power Set of Empty Set and Power Set of Singleton can show that $\{ \O, \{ \O \} \}$ is a set much more quickly. --TheoLaLeo (talk) 08:28, 24 November 2021 (UTC)