# Second-Order Logic System

A second-order logic system is a Logic System that allows quantification over predicates.

**AKA:**Second-Order Predicate Calculus.**Context:**- It is impractical for computational purpose, but is helpful in the theoretical analysis of uncountable theories, such as Cantor sets.

**See:**First-Order Logic