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

First-Order Logic - What is a First-Order Logic type theory?


A First-Order Logic theory is a set of axioms or sequents, written in the language of First-Order Logic. This means that its quantifiers and variables apply to individuals within a specific domain, but not to subsets of these individuals, nor to functions or relations thereof.