Frege and Russell's formal logic establishes that existence is a second-order predicate about concep...