Curtis Franks (2000), Existence, Truth, and Method In the Mathematical Theory of Sets