theorem-proving system

Мат. система доказательства теоремы