Second-Order Logic System
Jump to navigation
Jump to search
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.