█████████████████████████ van █████

█████████ van het ██████

Hier █████ een █████ ████████████ van het ██████ van █████.

███ ██████ ████████ hij een ██████████ ██████████████. Dit is een ███████ om aan ████ ███████ in het ███████, en ████ █████ ██████████ in het ███████, een █████ ███ te ██████. Een ███████ ████████ is om de █████████████ ████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ van het ███████ ███ een █████ ██████ ${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$ ███ te ██████, en de █████████ ${\displaystyle \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>}\dots \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ (met ${\displaystyle \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>},\dots \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ ████████) ██████████ ████ te █████ met het █████ ${\displaystyle {\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>}}}\cdot {\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>}}}\cdot {\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>}}}\dots {\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>}}}}$ (███████ ██████ de █████████████).

██████████ wordt deze █████████ ████████ om aan te █████ dat een █████ van ████████ een ██████ █████ van een ███████ ████████. Dat wil ██████, dat ████ ███████ ██████ een ██████ is, ██████ ███ een ██████ ███████████████ uit de ██████████ ████████ █████, en dat de ███████ ███████ de ███████ ████████ is. ███████ is ██████████ op ██████████ █████ een █████████ ${\displaystyle \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>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ af te ██████ dat ████ is, dan en ███████ dan als ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}$ het ██████████ van een ██████████ ████████ is.

██████████ ████ een ████, die '██████████████' wordt ███████: Zij ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ een ███████████ █████████. We ██████████ nu het █████████ ${\displaystyle {\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>})}$ als het █████████ "█ is het ███████████ van een ███████ █(█), en ${\displaystyle \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>}))}$ █████". ███ dit nu ███ op het █████████ ${\displaystyle \mathrm{\neg }\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>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$. Dit ██████ een █████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}U(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ op, dat in ███████ ████ "dit █████ is het ███████████ van een ████████████ ████████".

██████ nu de ████████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}U(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$, ████ █ het ███████████ van ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}U(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ is.

████ aan dat het ███████ ███████ is (en dus geen ██████ ██████████ kan ████████), en dat we ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}U(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ ██████ ████████. Omdat ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}U(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ ████ is, ████████ dit dat █ het ███████████ van een ███████ █(█) is ████████ ${\displaystyle \mathrm{\neg }\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>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}))}$ █████. █ is het ███████████ van ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}U(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$, dus ${\displaystyle \mathrm{\neg }\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>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}U(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}))}$, dus ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}U(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ is niet ██████████. ███████████.

█████████, als we ${\displaystyle \mathrm{\neg }\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}U(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ ██████ ████████, ████ ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}U(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ dus niet ████ zijn, ███████ we op ███████ █████ ██████ ████████ dat ${\displaystyle \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>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}U(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}))}$.

█████████ is dat als het ███████████ ███████ ███████ is, ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}U(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ en ${\displaystyle \mathrm{\neg }\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}U(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ █████ niet ██████████ zijn, en het ███████ dus niet ████████ is.

████ op dat er een ██████ ████████████ is met de █████████████████: ${\displaystyle \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}U(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})}$ is een ████████ voor de █████████ 'deze █████████ kan niet ███████ worden', die ███████ is met de █████████ 'deze █████████ is niet ████'.