Обновления статусов

Забавный факт: Лейбниц пытался создать универсальный язык, который можно было бы так же использовать и дискуссиях, но он допускал проведение над собой алгебраических операций. Ложность и истинность в любом диспуте в таком случае была бы выводима аналитически.