В логике строгой нет места сомнениям

В логике строгой нет места сомнениям,
истина — в формулах, чётких, как день.
Если А — истина, Б — подтверждение,
То и В — логики неизбежная тень.

Связки, кванторы, строгий расчёт,
аксиомы — как вечный восход.
Всё, что доказано, будет точь-в-точь,
а сомнения уйдут в поход.

11.03.26


Рецензии