Кажется, что скоро компьютеры начнут понимать юридические тексты лучше людей. Но благодаря Курту Геделю знаем, что любая формальная аксиоматическая система неполна. Есть ли выход?