assertional system

Мат. ассерторическая система