█████-██████-█████████████

Als █████-██████-█████████████ (auch █████-██████-█████████████) ██████████ ███ die ██████████████ von █████ als ████████ ████████ und von ██████ eines ██████████ ████ als ███████ der zum ███ ██████████ ███████; und █████████. ███████ ist er nach den █████████████ ███████ ██████ █████ und ███████ █████ ██████.

Der ███████ der ████████ wird ████████████ mit dem ███████ der █████████████, █████ also dem ██████████████████ ███████████ von ██████████. Eine ███████ ist █████████, ████ es einen ████ ████, der den zur ███████ █████████ ███ hat.

Der ████ vom ████████████████ ███████ ████ in █████████████ █████████████ █████████████ nicht (würde er ██████, ████ ████ ███████ ████████████, ███ entweder █████████████████ oder ████████████ nach sich █████). Eine ███████ mit █████████ ████████ █████████ der ████████████████ ████ ████████ █████ sich ██████ durch ██████ eines ███████████ ███████. ███████ ist, ███ █████████ ████████ ${\displaystyle A}$, ein ██████ ███

${\displaystyle \mathrm{\neg }\mathrm{\neg }(A\vee \mathrm{\neg }A)}$,

███ unter █████-██████ und mit █████████ der ██████████████████ ein ████ des ████

${\displaystyle ((A+(A\to \mathrm{\perp }))\to \mathrm{\perp })\to \mathrm{\perp }}$

wird. Der ██████-████████

${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}f.f({\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}a.f({\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}a)))}$

██████ einen ████ des ███████████ ████ ███, █████ ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}:A\to (A+(A\to \mathrm{\perp }))}$ und ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}:(A\to \mathrm{\perp })\to (A+(A\to \mathrm{\perp }))}$ die ███████████ in den █████████████ █████████ sind.

██████████ und ██████████ █████████████████/███████████████████ wie ███, ███████ und ████ ██████ vom █████-██████-█████████████ ████████, indem ███ es █████████, ███████ als █████████ und ████████ als █████ █████████. Der █████████ █████████ dabei die ███████, die ███████████ ███████ zu ████████████.

• █████ ████████: ████ ██████ ███ ██████████ ███████████ (███; █,█ ██)
• █████ █████████, ████ █████████, ███ M. █████: ███████████ in ██████-████ ████ ██████ (███; ███ ██)
• ██████ ██████: ████████████ ██ █████ (███; ███ ██)