 Another application of epsilon calculus is as a general logic for reasoning about arbitrary objects. Meyer Viol (1995a) provides a comparison of the epsilon calculus with Fine’s (1985) theory of arbitrary objects. Indeed, the connection is not hard to see. Given the equivalence \(\forall x A(x) \equiv\) A\((\varepsilon x (\neg A))\), the term \(\varepsilon x (\neg A)\) is an arbitrary object in the sense that it is an object of which \(A\) is true iff \(A\) is true generally.