Start free trial
Take Naologic for a spin today, no credit card needed and no obligations.
Start free trial

First-Order Logic - What is 1st order logic vs 2nd order?


The inclusion of 'for all properties' in the syntax of second-order logic makes it a more powerful system than first-order logic. Conversely, "for all elements" is the most that first-order logic can say.