The universal finite set, Rutgers Logic Seminar, April 2018

This will be a talk for the Rutgers Logic Seminar, April 2, 2018. Hill Center, Busch campus. Abstract. I shall define a certain finite set in set theory $$\{x\mid\varphi(x)\}$$ and prove that it ex…