 This asserts: there exists a concept \(G\) such that for every object \(x\), \(x\) falls under \(G\) if and only if \(x\) is odd and greater than 5. If our second-order language were extended to include the primitive predicates ‘\(O\)’ and ‘\(\gt\)’ and the primitive object term ‘5’, then the above instance of the Comprehension Principle for Concepts would be an axiom (and hence, theorem) of second-order logic.