Wir betrachten die Aussagenvariablenmenge
und die Ausdrucksmenge
-
![{\displaystyle {}\Gamma =\{p_{1}\rightarrow p_{2},\,p_{2}\rightarrow p_{3},\,p_{3}\rightarrow p_{4},\,\ldots \}\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a38cba946695f2a6d98629380d80c18b52b37f95)
Diese wollen wir zu einer
maximal widerspruchsfreien
Menge gemäß
Fakt
ergänzen. Wenn wir im ersten Schritt
hinzunehmen, so ergibt sich sukzessive
für alle
. Es ist dann
schon maximal widerspruchsfrei. Wählt man hingegen im ersten Schritt
, so gehört weder
noch
zu
. Beim zweiten Schritt hat man dann die Freiheit, ob man
oder
zur Definition von
hinzunimmt, und so weiter.