 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-09-24

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

 Read the full article

 New to topics? Read the docs here!