Итоги голосования для комментария:
Василий Шаповалов Могу сказать, как в моей. Это конечный набор отношений между формулами формальной логики.
+