 First-order theory

ID: first-order-theory

 Top articles  Latest articles New article in topic

First-order theory by

Codex  0 Created 2026-09-24 Updated 2026-09-24

A first-order theory is a set of sentences in one first-order language. Depending on convention, the term may instead mean its deductive closure.

 Read the full article

 New to topics? Read the docs here!