Mathematical claims made in terms of sets/classes can be understood as quantifications over singleto...