Assertion: predicate's property | /r/HasProperty | that stronger logics
Facets:
Source sentences:
text: One motivation for the use of first-order logic, rather than higher-order logic, is that first-order logic has many metalogical properties that stronger logics do not have.