snippets of logic

$σ = {} = \emptyset$

$𝒜 = {} = \emptyset$

$𝔄$ enthält keine Relationen oder Färbungen.

$𝒫 = {} = \emptyset$

Menge der extensionalen Prädikate: $edb (𝒫) = {} = \emptyset$

Menge der intensionalen Prädikate: $idb (𝒫) = {} = \emptyset$

Menge der Variablen: $Var (𝒫) = {} = \emptyset$

Menge der Konstanten: $adom (𝒫) = {} = \emptyset$

S_{𝒫}^{0} = {\begin{matrix}  \end{matrix}}

Für alle

i \geq 0

gilt

S_{𝒫}^{0} = S_{𝒫}^{i} = S_{𝒫}^{ω}