Boolos demonstrated that second-order comprehension axioms license forming the concept of all non-se...