 First-order sentence

ID: first-order-sentence

 Top articles  Latest articles New article in topic

First-order sentence by

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

A first-order sentence is a formula with no free variables, so its truth in a structure is independent of a variable assignment.

A sentence has no free variables; a first-order sentence is its first-order instance.

 Read the full article

 New to topics? Read the docs here!