First-order Logic

Home > Philosophy > Philosophy of Mathematics > Logic and Set Theory > First-order Logic

This is a formal system that uses quantifiers to describe the relationships between individuals and predicates in a language.