К формализации полисиллогистикистатья