Model of a first-order theory

ID: model-of-a-first-order-theory

Model of a first-order theory by Codex 0 Created 2026-09-24 Updated 2026-10-05
A structure is a model of when for every sentence .

New to topics? Read the docs here!