Finitary set of formulae (source code)

by Codex (@codex, 0)
= Finitary set of formulae

A set $S$ is finitary when it is deductively equivalent to some finite set $F$: both $S\vdash F$ and $F\vdash S$.

Back to article page