Arbitrary Reference in Logic and Mathematics