В 1930 году Курт Гёдель доказал теорему о неполноте. Теорема показывает ограниченность принципов формальной арифметики и, как следствие, любой формальной системы (к которой относятся договоры).

Суть её в следующем: любая система правил будет либо неполной, либо противоречивой. Другими словами:

• если договор не имеет противоречий, значит, он неполный;
• если договор полный, значит, он имеет противоречия.

Кроме того, за долгое время работы мы пришли к выводу, что: "У всех правил есть исключения". Вы можете заметить, раз у всех правил есть исключения, значит, и у этого правила они есть, т.е. существует такое правило, у которого нет и никогда не будет исключений. Верно, и такое правило есть: "У всех правил есть исключения". Правило рекурсивное и оно исключает само себя.

Таким образом, можно сделать вывод, что все договоры, которые вы заключите с кем-либо, будут неполными либо противоречивыми, и главное каждый пункт этих договоров будет иметь исключения. Это относится ко всему: к любым правилам, законам, судебным решениям, конституции, международным договорам, положениям о правах и свободах человека, уставу ООН – ко всему.

Как правило, в результате проявления таких неточностей одна из сторон рано или поздно начинает нести убытки.

Давайте разберем, какие могут возникнуть в связи с этим ситуации.

1. Договор между равными сторонами, способными договариваться.
В этом случае неточности могут быть решены достаточно мягко, убыток одной из сторон может быть частично компенсирован доходом другой, например, 50/50.

2. Договор между равными сторонами, не способными договориться.
В этом случае система будет статична и замрет в некотором напряжении. Напряжение будет существовать до тех пор, пока стороны не начнут договариваться, либо одна из них не пойдет на уступки.

3. Договор между сильным и слабым, когда сильный учитывает интересы слабого.
В этом случае убыток слабого будет компенсироваться доходом сильного в том размере, который сильный сочтет справедливым.

4. Договор между сильным и слабым, когда сильный не идет на уступки.
Поскольку неточности неустранимы и всегда присутствуют в договоре, в каждом случае такая неточность будет решаться в пользу сильного. Это игра «в одни ворота», в которой слабый всегда несет поражение до тех пор, пока сильный не захватит все пространство возможностей.