The universal finite set

Joel David Hamkins, W. Hugh Woodin

We define a certain finite set in set theory $\{x\mid \phi (x)\}$ and prove that it exhibits a universal extension property: it can be any desired particular finite set in the right set…