Таблица лидеров

Построение утверждений можно представить, как игру. Правила вывода с аксиоматикой определяют начальные позиции с которых вы начинаете и допустимые ходы. Причём, в эту игру можно играть сколько угодно и невозможно проиграть, если вы не нарушили правила. Звучит отлично! Если забыть, что вот лично вы играете в обратную игру. Вы пытаетесь провести анализ суждения. То есть, начинаете с произвольной, возможно запрещённой позиции. Кроме того, у вас есть победа, где достигаются Аксиомы и поражение, когда вы приходите к Противоречию. Настоящая проблема здесь в том, что ваша игра гораздо более нечестная. Вы обязаны победить или проиграть, но никто вам всё это гарантировать не станет.