Как кристалл диалектика развивается, избавляется от примесей, несет просвещение. 

Сейчас вы, возможно, смотрите в ЖК экран, а в устройстве множество кристаллов, в процессоре, включая тактовый генератор.

30 мая 2020 года во время диалектического обсуждения методологии статьи в разделе Александра Леонидовича Бурылова (Пермского) (Кормин Михаил, 30 Май, 2020 - 20:51, ссылка) совершенно случайно мне пришло в голову как формализовать правило достаточного основания логики высказываний.  Правило впервые было сформулировано Лейбницем.

           Пояснительные выражения    

              Объясняют темные мысли  

                      Козьма Прутков  /Афоризм %№ 40/    

Четыре непонятности (моего личного недогоняния).

1. В теме А.Болдачева "Истинность, аксиомы и доказательства теорем"  лишь немного уделяется вопросу о том нужно ли обосновывать (пусть даже в самом общем виде) введение в логическую систему именно такой, а не иной аксиомы (аксиом). То есть, на каких основаниях введены именно такие аксиомы? Ещё точнее - надо ли определять цель с которой формулируются аксиомы?

Хайдеггером неизменно поднимается вопрос:

Почему вообще есть сущее (нечто), а не Ничто?

При этом имеется ввиду, что Ничто проще (Лейбниц). Однако «проще», не означает (не определяет) здесь преимущество в актуализации.