1

Second Order Logic has much stronger expressive power. Many propositions can be formalized in second order language, but can't be expressed in first order language. For example:


Only top voted, non community-wiki answers of a minimum length are eligible